{"entities":{"Q3498469":{"pageid":5528372,"ns":120,"title":"Item:Q3498469","lastrevid":80580017,"modified":"2026-05-06T16:31:34Z","type":"item","id":"Q3498469","labels":{"en":{"language":"en","value":"Protocol Verification Via Rigid/Flexible Resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275847"}},"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":"Q3498469$72B777D0-63A9-4EC0-9A0A-4723EE1252CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f27872736b592f87bb86e0933eac7fe87213f63e","datavalue":{"value":{"text":"Protocol Verification Via Rigid/Flexible Resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498469$6FFC492C-6A53-4E8A-A8F3-4937935DA74C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a7206293e9a77405b97ac8064658218bfa99acc","datavalue":{"value":"1137.94342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498469$88F809AA-14A2-4099-BB18-7FAAE83970C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a7aab75c78b52c51941cfaa5e5f4ec4720a2940","datavalue":{"value":"10.1007/978-3-540-75560-9_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498469$5DBBD02F-8631-4412-9BC4-8EA34B239BC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498469$730676BC-9D7D-46C8-9EC5-D10BC31D0132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19f22880441832c1cbe5bccc835bfadba3b4fd22","datavalue":{"value":{"entity-type":"item","numeric-id":437035,"id":"Q437035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498469$79257359-7B97-4F27-8B6D-AA20B578FB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b74f2805d58a252b355491b4dc993b2648b5d8c","datavalue":{"value":{"entity-type":"item","numeric-id":437036,"id":"Q437036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498469$38DF6C04-6975-496B-A8F5-2C8FE0C23B58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498469$7BE9900D-D5C4-492F-9194-5CDF152C1A1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498469$7750E4C1-711D-4360-BB38-B31B30C830A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498469$BD8D356A-C088-40CE-99DB-24F7DDBBF4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498469$2319104C-1C43-4BB0-898A-9FDF72AA1CA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4bcb0fe04b1ce9c5521bbf94b3aab8002ed18cd","datavalue":{"value":"5275847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498469$7840A3A6-6AA2-4ABC-88AA-12BF33D042E6","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":"Q3498469$1864650E-4BAF-4ECD-9C0F-BDA250E1B8A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95ebc734782f873a5bcedb850e32cbd4d2f6a24c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498469$4E7AC69B-011A-4CA3-A4EF-8ACB678D5ACC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db560f911a6b053478ca7c3d7075eebe723490db","datavalue":{"value":"W1543131555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498469$9FD9C53A-AC9A-460D-A556-14C493B58FC8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498469$43A3CDB2-9CA9-46D3-9304-734894B58A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b547ecbdee111d500340a1755c27397d76f7d718","datavalue":{"value":{"entity-type":"item","numeric-id":3608794,"id":"Q3608794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498469$D90AC6A0-372F-4E1F-B3F4-CFFE6073D08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498469$F226D7F0-8D37-4BE3-A6CD-A1C24D84B56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25daf8d15c7f307c38d437c6af367e120d5dcff0","datavalue":{"value":{"entity-type":"item","numeric-id":4341689,"id":"Q4341689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498469$909B1912-09A1-4978-8A71-833B231AF5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e3d836818c9b82aae57d28f4250382c391217c","datavalue":{"value":{"entity-type":"item","numeric-id":4942635,"id":"Q4942635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498469$4052F1AC-08F3-4DAA-BA07-AFB6D58344B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4efce9ee0c81337fbf2e90bc8a33b67df8fc2297","datavalue":{"value":{"entity-type":"item","numeric-id":3613434,"id":"Q3613434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498469$29DD5466-84A1-4342-9020-7FA911067B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498469$9BB73ED9-E6ED-49D3-ADA9-CA8A9820EC3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705be0c32e30022569ae6c0ce3206f4eeb5fda58","datavalue":{"value":{"entity-type":"item","numeric-id":3631368,"id":"Q3631368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67767c51756a6dbee116240bca3593e3216cdbd1","datavalue":{"value":{"amount":"+0.8108149170875549","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":"Q3498469$EADDDE02-B027-4D8D-8858-1C0B4D9152C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02ba595b7920110ca6b2a118a4a8f302f2c3fd9","datavalue":{"value":{"entity-type":"item","numeric-id":3593070,"id":"Q3593070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f9d923b573c5cb5aa0dc3b027a686e93c96588","datavalue":{"value":{"amount":"+0.7791860103607178","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":"Q3498469$0427042C-725B-4A72-9B08-12D87EA93E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be115f7cda727138f509f9c52e8e5353ab28c6c","datavalue":{"value":{"entity-type":"item","numeric-id":5277817,"id":"Q5277817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5b22f4855c735eeb2bab71ed9e43244a334224","datavalue":{"value":{"amount":"+0.7372013330459595","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":"Q3498469$20FECE90-1C3A-4199-B923-37C8992C5BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09792f917c7baa0f20de10c36f5b1e49a143589","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4911eeb98a759d8d2c984062340079a8b93337d7","datavalue":{"value":{"amount":"+0.7371869683265686","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":"Q3498469$142BD2A5-A92A-492C-A74F-F1BB704173F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126daadec64057aa06d01ebdfd4fbdc215d83e37","datavalue":{"value":{"entity-type":"item","numeric-id":4778712,"id":"Q4778712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e3df4233c7dbfc2389e94d2fdefdffba934440","datavalue":{"value":{"amount":"+0.731247067451477","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":"Q3498469$ECE67E02-7070-4554-9976-EA349A7EF7DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Protocol Verification Via Rigid/Flexible Resolution","badges":[]}}}}}