{"entities":{"Q4353629":{"pageid":6383228,"ns":120,"title":"Item:Q4353629","lastrevid":46940025,"modified":"2025-12-25T21:45:15Z","type":"item","id":"Q4353629","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1059322"}},"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":"Q4353629$706C024E-2A4C-4528-AD3A-ED71FBED6384","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"576c715bf5e9b38962a6e7211b8e73b63d6ebf6e","datavalue":{"value":"0883.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353629$F3169599-31A9-4312-8F61-6A99C11E8167","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353629$29B4BB54-0B9F-4000-9168-04FDC903D415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d83144f6ea6e9c01c04024a57aaf2da26999cebc","datavalue":{"value":{"entity-type":"item","numeric-id":396605,"id":"Q396605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353629$AEE94580-3090-4AE2-AE4F-F5F309690B78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5b0fc95b875540ac51248d37b76d8d5d31061d","datavalue":{"value":{"time":"+1997-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4353629$90482AA0-0188-4756-9256-D797A3BE836E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353629$58C858AF-C941-41F0-A5FB-F1008982738D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353629$51D66DB2-EF4C-4AB0-9F1A-237A63347DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353629$C7244581-F7CA-4D2C-9028-4AE58BAE479E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353629$5C05A77D-A88B-4EC1-9F4C-E93B6FA33886","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0f6be16ecd6bf87476db6e5a8cd0816634925da","datavalue":{"value":"1059322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353629$2B096A17-3EFD-4092-83A6-7EF483A66FD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353629$26C83EDD-EBE1-4D4A-8F23-9853C1498B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36257419fd154dc7372f9820201efb4749ac09a5","datavalue":{"value":"first-order temporal logic over trace systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353629$FA0F81F0-B8B3-4C00-9891-BD02A2D7F641","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":"Q4353629$2E928971-4553-4D82-8665-B4E0D6CAFC39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261292c6587229031f78a8632f6fc9e0ce6f6d70","datavalue":{"value":{"entity-type":"item","numeric-id":4281547,"id":"Q4281547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b999a35e5edb01c1c856f1329836a1360e0980b","datavalue":{"value":{"amount":"+0.8709469437599182","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":"Q4353629$812EBEC3-71B5-4D37-8D6D-DFEDA043C2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d713b013f9c21146d7c164818d589c7c1ae4b804","datavalue":{"value":{"entity-type":"item","numeric-id":4864475,"id":"Q4864475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f171fa4edd8d8c9e2c2aa74bf2eed495e0aceb","datavalue":{"value":{"amount":"+0.8659656047821045","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":"Q4353629$39A74CB5-7B7B-4765-90D6-87EA50EDBF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf473c9db566695247ab3f0587faa9d503c8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e429b713a2c53b50a176e02d4083872cd1060e7","datavalue":{"value":{"amount":"+0.842384397983551","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":"Q4353629$7E4E6555-2C0F-468E-84E0-5AFC5A718A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbc2b31d89bf3df531be321cfcf2c9b0ca19760","datavalue":{"value":{"entity-type":"item","numeric-id":3316583,"id":"Q3316583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa3a00ad3806fce77bbd8af7c398807ae88ac33","datavalue":{"value":{"amount":"+0.8229572176933289","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":"Q4353629$B1E6A1F6-01C2-42BC-B8AF-3906FD5CFB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a29d0306f804f3bd56e2fc0751c80afa2ebd71","datavalue":{"value":{"entity-type":"item","numeric-id":3474286,"id":"Q3474286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56520c498c4fdb3f90e5d3070fd7b6dcb852ce17","datavalue":{"value":{"amount":"+0.8142352104187012","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":"Q4353629$C06571D6-021A-429D-8CF3-F02729D77F4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4353629","badges":[]}}}}}