{"entities":{"Q5224494":{"pageid":7254063,"ns":120,"title":"Item:Q5224494","lastrevid":53485868,"modified":"2026-01-25T01:04:36Z","type":"item","id":"Q5224494","labels":{"en":{"language":"en","value":"Random models for evaluating efficient B\u00fcchi universality checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084732"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$670B74B3-FEBD-491B-AE5A-878406D0C8FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6857ab9528f8b6ec89ea3c35f20553fce4c4b99b","datavalue":{"value":{"text":"Random Models for Evaluating Efficient B\u00fcchi Universality Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5224494$3ACB7E9C-2BAB-41CD-B392-4E1817792E3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a76e453f61aaa3ed45a7dcb89074df62d78ff87","datavalue":{"value":"1483.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224494$39F27B04-02F2-4568-9BA8-5DF5782C0309","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"432134a333b3b9143a9ee9d148ca97822c5c3107","datavalue":{"value":"10.1007/978-3-662-54069-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224494$3A75869E-AE0E-41E8-B7C3-430D4BB0A021","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6d6ee342cd06ab13222f11c824267381eac5fce","datavalue":{"value":{"entity-type":"item","numeric-id":5224493,"id":"Q5224493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$7227BF64-891B-48B7-961C-64B41E5345C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad9b262b0ae8ff0257dddfe1046ace092645311","datavalue":{"value":{"entity-type":"item","numeric-id":897652,"id":"Q897652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$36842FD4-68AE-484E-8428-78CDE9646A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$A67016DC-6906-40BE-BC17-6F08C51347BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$F382D0EB-63A7-4148-93A0-D10965B1CEFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224494$D5EF9510-8F19-4ECB-B498-E5A89DE21BB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224494$847A3EB1-4433-4884-8DA2-B977A40859F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224494$C25E0559-8654-4273-9BA4-7244A338BF84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5cdb4c8634e77caaae830e166fe2b2acaf1e5ad","datavalue":{"value":"7084732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224494$648CE8CA-A63C-4DBE-9613-2A0CF7E3A210","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74fb7b0e57b9fca797ae3d6e69eaff9176bc90bb","datavalue":{"value":{"entity-type":"item","numeric-id":32028,"id":"Q32028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$B178BFF6-44CF-47A5-B0A7-415F73288534","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$EB3EE140-C44C-424F-A849-8C3C1BCF5CF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b14c1d99d2ab1ba96348c882e00ea0f6553d8058","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54069-5_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224494$F4D0BEC3-4DBB-49F4-9025-F54E835D06EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59aeebf4f7bb5aac49f34e574edd891e967fa5d0","datavalue":{"value":"W2557666292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224494$E4651C54-5B2F-4E1B-B91E-AE583010B812","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2feb053caa732f13b4a9204635e536fb1d84b52a","datavalue":{"value":{"entity-type":"item","numeric-id":2626083,"id":"Q2626083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$AD85A5D5-79D7-4ED5-8BF2-835048C6FEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d81dfdda8dbc31e15b5299845514d0933f0719","datavalue":{"value":{"entity-type":"item","numeric-id":3623017,"id":"Q3623017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$CDEB017D-96ED-4DEB-9255-6661E06E3863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780b9f4b9eeb279927474c9cc1d9090f5d590499","datavalue":{"value":{"entity-type":"item","numeric-id":5224494,"id":"Q5224494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$CF0EC516-BFBD-49AC-8363-DF7DAAE6B549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75cfb2ab625e62feb4087fd15200cab4e676b83","datavalue":{"value":{"entity-type":"item","numeric-id":3557078,"id":"Q3557078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$583C7931-5CF0-4C94-B8A9-91E662B4F0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72133fa5aed061c3346d2e39c4b23aff7a408f87","datavalue":{"value":{"entity-type":"item","numeric-id":3617751,"id":"Q3617751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$DDD64721-022E-4B37-BC68-1012AF43776F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a14d1d4b4f7108218822014cc9855f8b5631d89","datavalue":{"value":{"entity-type":"item","numeric-id":3745877,"id":"Q3745877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$263111F7-A90A-4ABB-AF0C-FEBB754DECCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbb88077caf25e6b3a6af95f321e2ec46153617","datavalue":{"value":{"entity-type":"item","numeric-id":3197352,"id":"Q3197352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$4AD728CD-9711-4885-AC8D-C30753B09E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$1AFCBACE-1F4A-4226-A1B6-3C94AC4035C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$083D7156-82A3-47D3-A300-046465AFFB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ed490c0161c8fc876128d09c594b8e411735be","datavalue":{"value":{"entity-type":"item","numeric-id":3073645,"id":"Q3073645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$66628D7E-0E52-4497-B6B6-7DDD25D96ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be44c7d48e67ec2737b6b9719ee682ab48e239d","datavalue":{"value":{"entity-type":"item","numeric-id":3090830,"id":"Q3090830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$CEB8F5FD-D14C-460E-8665-74D3CA6F4A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$AC82C7D6-9CE8-42E2-B7E2-CE4EFF7D961C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3daa3db03ea11be8dc2196c96ebade778eaf14","datavalue":{"value":{"entity-type":"item","numeric-id":5387853,"id":"Q5387853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$D123E937-4153-44A0-99A3-898646189C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b59045408bdef02af3f5d84bef8023536de082","datavalue":{"value":{"entity-type":"item","numeric-id":3590920,"id":"Q3590920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$17CA8787-31F6-4DC4-83C2-2890D478975F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224494$1BD3D5E2-F39E-4426-BB4D-E2C845842E1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027b1caf5829e722c95788c8cb112cbe6f47d831","datavalue":{"value":{"entity-type":"item","numeric-id":5758127,"id":"Q5758127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00234935b492d153b6696ecf84ed97b8730839f","datavalue":{"value":{"amount":"+0.792644202709198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224494$A63E1A9E-A758-4709-BA4E-E29852DBECEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f6c391425d8f11bce11e35b4b5391d931587fe","datavalue":{"value":{"entity-type":"item","numeric-id":3623017,"id":"Q3623017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68d9ebfebf377f8c2c2a045e0a63372bcfa7ba8","datavalue":{"value":{"amount":"+0.7536143660545349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224494$08FE4F11-25C1-4D94-AB46-AAED7C4FC8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f7af71a178819ae7d36dd06aefc91832543ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3557078,"id":"Q3557078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6b139ec50d29f83b2bcef98083d678b069f0db","datavalue":{"value":{"amount":"+0.7456180453300476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224494$7FA42F6B-BBD3-4B3E-A59A-A91F0B3477F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af991a839224cc6fc3adeed38d6e7c357c309dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6291b1c8253e329de5f268bd40c226cd94f3f7b5","datavalue":{"value":{"amount":"+0.7228319048881531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224494$28316D6F-B236-432F-8B04-3E3EE6E65A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb7ae9e2fb7233ed404b8c42042efae28b3e3ab","datavalue":{"value":{"entity-type":"item","numeric-id":2753752,"id":"Q2753752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3a273173efe6ba68e2a3bb4d801b5f43e79233","datavalue":{"value":{"amount":"+0.7201797366142273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5224494$5E220F56-986F-4F7A-8A8C-D016CA6B7003","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224494"}}}}}