{"entities":{"Q5392297":{"pageid":7421871,"ns":120,"title":"Item:Q5392297","lastrevid":96108659,"modified":"2026-06-05T10:26:05Z","type":"item","id":"Q5392297","labels":{"en":{"language":"en","value":"Parametric verification of a group membership algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5876522"}},"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":"Q5392297$6EBBDC76-9EB7-4006-B57D-8351165C86D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"384bfd46d67f767e25d228d0b6a845f5e0f50491","datavalue":{"value":{"text":"Parametric Verification of a Group Membership Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5392297$46A74D5C-3CBA-4FF5-BECD-5D8130F8207E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e577f627ec3aea17ea835b6dab6e322e715a65ca","datavalue":{"value":"1278.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392297$8CEC926F-7DCC-492B-A6D3-48B3EC2FEDF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2095650b085a3661f9f990ed4c0423eebefc072","datavalue":{"value":"10.1007/3-540-45739-9_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392297$31FF6F27-F961-45A1-B3BC-F077C0D3FFCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392297$5E95FC8A-0BD9-410F-A583-5B3C51C14BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15fb6ad8d83e48eeae31d72ebd549f78bdbcafa1","datavalue":{"value":{"entity-type":"item","numeric-id":1263990,"id":"Q1263990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392297$005B42EA-B537-4870-9A94-E37C4E691A3D","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":"Q5392297$5661C046-1A6C-4623-9EE9-700CA9312DCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1beccbec989ffb1c4fd65076dee92c66a4eff836","datavalue":{"value":{"time":"+2011-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5392297$9E26751C-3934-49BC-961B-3BDE4238E9FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c26dfcc9ef03ba65f75afc64e1fde51eab2f9166","datavalue":{"value":"https://arxiv.org/abs/cs/0505033","type":"string"},"datatype":"url"},"type":"statement","id":"Q5392297$48C790A0-84D9-4C8F-BD99-DF836B21A200","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392297$597F7EDC-E84A-4F60-95B5-6E0F55EE970A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392297$2D338758-B6D7-4249-B8D3-FE2B3575BD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392297$869BACBA-8DD8-4B44-92B8-D176554A7838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392297$66148DDF-C1C4-44C2-83DF-7C5F98F6D9AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61a63ec886063c60df95796573aaee0d01b73187","datavalue":{"value":"5876522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392297$330D9243-05F1-44B9-B45E-0AD969DCD04F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5392297$CDAC4FC0-8E71-49A1-ADB9-BF1A07BE20F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f29336a5cedecd96b0ed7f5afcb9d81d69f8d3e","datavalue":{"value":"fault-tolerant protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5392297$F598ADD6-365D-4C66-B7D7-382F9E3E551E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3be86928bf7ee25e8a4c46626db5251d4e49120","datavalue":{"value":"parametric counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5392297$C6466780-C2F4-48FB-9A8F-DA2333431657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5392297$7BF95331-18C4-444C-9C6E-1F30FAD0CC46","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":"Q5392297$E8050E58-F8E6-40F4-A88D-886392C8D9F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8cb907ccab0de08d613eb0628ab88f47ec41bc6","datavalue":{"value":"W2102796218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392297$D7C61AED-C49F-47F4-B834-DF98EF813C72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4dafb3aeece382c045f62237ba4b7aa4c8d49d","datavalue":{"value":{"entity-type":"item","numeric-id":5476392,"id":"Q5476392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ccd1049c90e1cb958345624eab2b170b564231a","datavalue":{"value":{"amount":"+0.999876081943512","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":"Q5392297$27A8953B-1FF0-43D9-9654-8F573EA29D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1204c1b87ac7cd5afa609a5bb23c0226d623ead2","datavalue":{"value":{"entity-type":"item","numeric-id":3000628,"id":"Q3000628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e0046b985d6aa9c4f2a3f0472d4323ba9ab5170","datavalue":{"value":{"amount":"+0.6911835670471191","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":"Q5392297$3B980A20-916E-4138-9C45-5F9E4A2E7AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f456567a94c89e8fcf49d6cb0baf155a9c0e8482","datavalue":{"value":{"entity-type":"item","numeric-id":4952308,"id":"Q4952308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb5ac290bf70ebddab57395f7a9b6be730f6354","datavalue":{"value":{"amount":"+0.6851186752319336","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":"Q5392297$06845864-C34A-444D-AB97-86DFAF58EF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb05a308d940d8e31233094376df54376462e944","datavalue":{"value":{"entity-type":"item","numeric-id":4223070,"id":"Q4223070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9533722c29715543c8fdcbd94fabbb770f7a2444","datavalue":{"value":{"amount":"+0.6851183176040649","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":"Q5392297$338263CE-9809-4762-AC39-15D473881551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7d0b42894fe54330b5ef168d2df979a0e92fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2709807,"id":"Q2709807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480e5ae378854ee5893187fd53dba8081d0595fb","datavalue":{"value":{"amount":"+0.677426278591156","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":"Q5392297$E657AF16-F63C-4796-A330-3A71F0CC7DF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametric verification of a group membership algorithm","badges":[]}}}}}