{"entities":{"Q5756488":{"pageid":7786039,"ns":120,"title":"Item:Q5756488","lastrevid":101700650,"modified":"2026-06-06T02:34:41Z","type":"item","id":"Q5756488","labels":{"en":{"language":"en","value":"Using History Invariants to Verify Observers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187146"}},"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":"Q5756488$E597C256-F622-46F0-AE7B-C88C2B893A60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b78b920f0ccce267bccd172b971e481010f57f3d","datavalue":{"value":{"text":"Using History Invariants to Verify Observers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756488$84120247-F4F3-4B39-BB43-69AE480580CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65627debfa4443068d9d9790dc15650a5d0fb8fd","datavalue":{"value":"1187.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756488$FED55EF3-E611-4F94-A860-1FE453601583","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e48c8018b827cee869ef1a837b567186bb4a35ad","datavalue":{"value":"10.1007/978-3-540-71316-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756488$DFC631C8-668F-440D-8264-04927F8235B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e0c2c58ff8fd4ec1edd435e868f3bbbace9fa5","datavalue":{"value":{"entity-type":"item","numeric-id":633284,"id":"Q633284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756488$4F9F1027-3670-4649-BF37-01F191A929D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13dd9647a0ef3c6e07612efd4a1e02aa8e3512aa","datavalue":{"value":{"entity-type":"item","numeric-id":973054,"id":"Q973054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756488$87384744-ADB6-40F7-8028-E6E471D4F91F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756488$BE6798D0-AE0A-4FBD-9393-2BDE20202082","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756488$4412E858-D5DE-45E7-B0D2-633116D7AFBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756488$66DEDF0F-6CCE-4B85-993D-B21ADD34E5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756488$E004C6AC-2794-4546-A39B-F27D5C0EAB94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a9a3e8481bb299ac95a13a199a566c80d85f273","datavalue":{"value":"5187146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756488$06E659B1-4B2A-4E69-8864-D8D87A291FFC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756488$8B241FC1-B57A-47D6-BF62-0EBE0F813811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756488$7C873647-DE9B-4AD5-A5C1-BC68C1BD1A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756488$B4EAB014-8086-418D-BD0A-59F6F87B40D7","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":"Q5756488$4E31FCFD-0325-4848-AA42-6A804C2A7FB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73f42cd9e026cbf1bea24fcb243e22c3dbaad35b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71316-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756488$67B6B265-D082-4E5F-BC21-3F2530F7FFDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd6b0fab1d13045a662ce5a6baebfd049061de11","datavalue":{"value":"W2100878175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756488$DAF372DF-8E6F-4D1B-A58A-8C5BAACF8594","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45fdb16fc31e453bf85a4cd4f725ba2ff3ef3875","datavalue":{"value":{"entity-type":"item","numeric-id":2873622,"id":"Q2873622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427dabb51e97ff1c615a332aed617e88a0fb8cfa","datavalue":{"value":{"amount":"+0.7441173195838928","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":"Q5756488$B13DB3AA-981B-450C-BBA5-DCA4F3A19E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0376dc93835a8a0455943df5f80f6d90b1f477a","datavalue":{"value":{"entity-type":"item","numeric-id":2507783,"id":"Q2507783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3ee0a951f63d6fd0a35413022c99f11168b57e","datavalue":{"value":{"amount":"+0.7143617272377014","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":"Q5756488$61115B02-2173-4091-AFCE-2FACD3A038A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccce38efa48b86a39e9cecd1f72f8ac969cdc018","datavalue":{"value":{"entity-type":"item","numeric-id":5506381,"id":"Q5506381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d1ca6b79648a865032446ba0e1fef362adf274","datavalue":{"value":{"amount":"+0.6932287216186523","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":"Q5756488$3261C5B6-7C67-4A48-BDF4-C7D99FAA334F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540c260737e4d2b312c3fbef94b4940936e1a8af","datavalue":{"value":{"entity-type":"item","numeric-id":5716910,"id":"Q5716910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f89110058854150f15ed05dcd4ea3bd27ba2f2","datavalue":{"value":{"amount":"+0.6797444820404053","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":"Q5756488$631BCC88-E476-4B3E-81ED-21D0D5A2E0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768a9b842a8c30c5ca04f437c408daca045fdf12","datavalue":{"value":{"entity-type":"item","numeric-id":2798022,"id":"Q2798022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d76f3be085d5add0a64ea2b1b72b2edfe843ce5","datavalue":{"value":{"amount":"+0.6732305884361267","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":"Q5756488$4F75F4D1-B6C9-4B09-9BC0-9CB2271A6858","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using History Invariants to Verify Observers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_History_Invariants_to_Verify_Observers"}}}}}