{"entities":{"Q4260709":{"pageid":6290310,"ns":120,"title":"Item:Q4260709","lastrevid":46692735,"modified":"2025-12-25T10:07:48Z","type":"item","id":"Q4260709","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1330137"}},"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":"Q4260709$26FEC8F6-7990-4EF8-BECF-15ACA3E9540E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eddb1df65067a7fcec37b0cdf87cba2dfb77a76d","datavalue":{"value":"0932.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260709$59931688-0DB9-44C5-94C6-82878A1354A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f9dd054cdeb12941701947c800f4924d1843d2","datavalue":{"value":{"entity-type":"item","numeric-id":4229095,"id":"Q4229095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4260709$7EF0BADA-0CE9-453E-A449-61C5B13BDEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0049ff44b47a319fae6a88359fada1008a0d4e6e","datavalue":{"value":{"entity-type":"item","numeric-id":732004,"id":"Q732004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4260709$4D508108-D540-4DFC-86BF-556E8C32AE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23282a034ccbb886727f243829d8c5cad658fb68","datavalue":{"value":{"entity-type":"item","numeric-id":4260708,"id":"Q4260708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4260709$C07B83C3-37D3-4C00-AFEF-035DACEC578F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6396f9edc21ea11b0fc814b36947c0853ff01a3","datavalue":{"value":{"time":"+1999-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4260709$CABEE8F1-929A-4FE7-A12C-C08B26697746","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260709$DEE65C5A-14CA-4062-B769-4DC612872DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260709$E8CD829A-8E87-436B-9C0E-6E9422D74A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260709$76896D61-FD79-4C3D-AE33-17D9061C5C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260709$3EA770B3-6DFD-46AD-AA00-C1EE5653032D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"076080c35f6da03b5c494e94219e8a24d0b64d5f","datavalue":{"value":"1330137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260709$CF01FD9A-5661-446E-BC5D-3FFECF31B209","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3542963eb421bb6af1e8ecde3c4376be009ba28","datavalue":{"value":"model checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260709$0762CF6C-DC49-4AB5-8B5C-1AD78A4463BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260709$63A76941-48F8-4DFF-B2AE-EAD0151D9C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ffe70388cf8cf515d23db39803dda74eecf4e33","datavalue":{"value":"communicating sequential agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260709$1FED50CE-F252-4BAC-9038-6A0826DA77E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0067e55f13e9ea855671ec6de62f60b0986d7f5c","datavalue":{"value":"temporal modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260709$91606BB2-A79C-4513-BB5F-F6F0BB696EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"191aa177bd829f0519ef698dfb3fd59e77fa99a9","datavalue":{"value":"local knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260709$378F00CE-7B9B-4B98-9D52-9389BF5D1F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"857079bf7c632d4f33e2da437653f33772d221d2","datavalue":{"value":"gossip modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260709$BA1DCE19-78AB-44F3-8B49-9D2B60C34EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e225ac4aec700ae2c67cab0cb7802b0627e7a3da","datavalue":{"value":"distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260709$15D3D125-16C0-4BC6-ACC0-BCEC5534730F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7ccc51466a650cf6ad510201d03f1543a00aede","datavalue":{"value":"multi-modal Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260709$1D518FF1-7ACB-4670-B28E-3A7971380CBC","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":"Q4260709$6C48196F-7AB1-49C1-83BC-9D89430AF1A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3aee72f48d361b7a6b3cc2282148654c9beecbf","datavalue":{"value":{"entity-type":"item","numeric-id":4020485,"id":"Q4020485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a3c94af25d5c546d713d386dda398ec2a94bbb","datavalue":{"value":{"amount":"+0.8706265091896057","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":"Q4260709$CEBDA687-0B69-4EE4-84F9-069963636FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f84670331ba87cfa916e7454a7b5bcf3f69c9b","datavalue":{"value":{"entity-type":"item","numeric-id":5394113,"id":"Q5394113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b31dab32d6aa95432b8afad445e3829a525c20","datavalue":{"value":{"amount":"+0.7791464328765869","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":"Q4260709$B4AEB0C6-3F72-4764-B57B-F1D4E602824B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b61cba58bb87adb93bfa67a60e9b84485efebb3","datavalue":{"value":{"entity-type":"item","numeric-id":4823626,"id":"Q4823626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712441b90d9ec9978c841498c5b4939c7dfc391a","datavalue":{"value":{"amount":"+0.7731927633285522","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":"Q4260709$F00062BA-768D-494D-9221-16E879DB96B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a036a129ffe7146aa02119d998616dfd40a1fe6d","datavalue":{"value":{"entity-type":"item","numeric-id":4499210,"id":"Q4499210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf33c94d2001efa186fe5e7f882b19527e2fd782","datavalue":{"value":{"amount":"+0.7728689908981323","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":"Q4260709$7566F270-4A6E-425D-A79F-08A30731EA43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4260709","badges":[]}}}}}