{"entities":{"Q3296318":{"pageid":3307026,"ns":120,"title":"Item:Q3296318","lastrevid":53767445,"modified":"2026-01-25T16:49:29Z","type":"item","id":"Q3296318","labels":{"en":{"language":"en","value":"Parameterized model checking of synchronous distributed algorithms by abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218132"}},"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":"Q3296318$5A1F7D17-EAC3-4CA2-98DC-1C75B3AB405E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"916dabf1f69572d9db822b530d4ace9bff4efe61","datavalue":{"value":{"text":"Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3296318$76192C0B-6CAE-4AE5-8F02-BFF2B0A27C0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd58c985e89d836fb04ed47b96bad4832e2e2ff3","datavalue":{"value":"1446.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296318$E4F92FDA-7B6F-4B67-8117-C0F12AC42971","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58768f658531aa805a3c0a0480a97eaebca2fd27","datavalue":{"value":"10.1007/978-3-319-73721-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296318$26F077F1-62E7-484E-8299-C2DF9EF7E01E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb346d256664a1bd135e45cfac6662095ea6a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":385024,"id":"Q385024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296318$6331B877-B1A1-43BB-8816-CF5DDC63DEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc296f41d11fea7b93d22457da52ba5c74d18ae","datavalue":{"value":{"entity-type":"item","numeric-id":389946,"id":"Q389946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296318$353A629C-3B0A-403A-9BEF-62943CF356B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e517e1fdc8784da368585eb547f719b8d2c083b0","datavalue":{"value":{"entity-type":"item","numeric-id":3296317,"id":"Q3296317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296318$12821E31-632E-4E98-B10F-AD60424D2AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcc6f318b7b434bf0f7251abaa3853c25531645e","datavalue":{"value":{"entity-type":"item","numeric-id":424898,"id":"Q424898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296318$E0497E7B-A714-4915-BB5F-A40FEF6C9C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296318$0A3AAA17-507D-4D50-85B4-1F91CBF1F50D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296318$00FEC864-B8E1-411C-97C0-AD50112895CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01d69a3c7fdeda349075259d925d96d26b367ba2","datavalue":{"value":{"time":"+2020-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3296318$5016F82E-2559-41B4-B451-98738EDF7797","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf584df5c7051c9504d8a3f6af1f3c4c7cb98d7f","datavalue":{"value":"http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3417","type":"string"},"datatype":"url"},"type":"statement","id":"Q3296318$682D1A87-FA0E-4BA4-9482-AB12E18D9143","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296318$CD9C3B4D-3150-4002-A6D5-279D5705292F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296318$FC70DCD8-A3F3-48BE-AA9C-5562E10DB9EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c6a45d9a8564f52a64552dc9300db1a5c8a57b2","datavalue":{"value":"7218132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296318$C3DF4AB7-3808-4246-905C-FE7C310D5068","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":"Q3296318$9EF54EB3-D71D-49ED-81B4-1BC6CE1EC51B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07f88d5073e82171f9142cd68478dd78fa118726","datavalue":{"value":"W2779460099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296318$9B6E689B-DA04-42F8-8AF8-5FDFCC4AA58C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b361f0bf28ead054d5aed2e98296283f83bfd7e","datavalue":{"value":{"entity-type":"item","numeric-id":5175774,"id":"Q5175774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3737a2cc1f6f8c7b35cf05bacebc88d1499b47","datavalue":{"value":{"amount":"+0.8587082624435425","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":"Q3296318$8DB01030-3105-43D1-B357-1CE5872E2271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa41eeafaa4d7fbec3f727a469bea4c6d2a6784d","datavalue":{"value":{"entity-type":"item","numeric-id":1702911,"id":"Q1702911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60338de4d3428571699cfbff58574665b2cb720a","datavalue":{"value":{"amount":"+0.8229373097419739","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":"Q3296318$7885F03D-BCE9-4AA2-8C06-CF59B4052790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb248a2bc8e3ade41bd91614a71e09c169ff003","datavalue":{"value":{"entity-type":"item","numeric-id":3179167,"id":"Q3179167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2f531049cddb1393c7c4d0eda229aa4485044e","datavalue":{"value":{"amount":"+0.8113256096839905","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":"Q3296318$1DF586DA-7F07-44E2-BB62-B82B8D23E180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dcfa935a298f514cf1246c5808b9bbf816a89f4","datavalue":{"value":{"entity-type":"item","numeric-id":3192219,"id":"Q3192219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e085af71584697cd37c7d55ea345df26f6794da3","datavalue":{"value":{"amount":"+0.7858589887619019","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":"Q3296318$3C0315AF-3F26-4927-8160-99B47A49AF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdcbe6cee20edf99c98994801e15bf646092cd21","datavalue":{"value":{"entity-type":"item","numeric-id":1696580,"id":"Q1696580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d36f6d341a521607fbea9963efbb71241c228db","datavalue":{"value":{"amount":"+0.7854727506637573","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":"Q3296318$819E99DB-4D9A-449A-AFA5-D2DE7219C775","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3296318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3296318"}}}}}