{"entities":{"Q4890707":{"pageid":6920286,"ns":120,"title":"Item:Q4890707","lastrevid":47409190,"modified":"2026-01-01T16:12:11Z","type":"item","id":"Q4890707","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 919842"}},"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":"Q4890707$68C62ACF-2398-4CDE-A378-35C56222B0F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12fe199bedecb46a71ca8d06cd5f3362f3b53509","datavalue":{"value":"0854.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890707$223B198E-8E12-4FD2-94B0-C193AB043F97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27d6bb344fc08aaa67013625eeeefb66fb8c0e27","datavalue":{"value":{"entity-type":"item","numeric-id":1138392,"id":"Q1138392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4890707$95910D8A-4FE5-4158-8E9A-B84F98692062","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dae73406db07327c82cf668980c7350f882f92e","datavalue":{"value":{"time":"+1996-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4890707$C0ED1EC0-F9BB-444A-B6A2-6A52F8FE4398","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890707$D3A6EBE0-BA86-45F2-B6C6-E1E25714DDC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9caaac84b98ed8e0dbc4430223a00313d25d3498","datavalue":{"value":"919842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4890707$AC4635EE-475B-4475-9A99-059282625AA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e48cdc6fcc85d71274290b44e8cbbb0c11c2d2c","datavalue":{"value":"syntactic dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890707$85FCB5D3-13BC-44D2-BE6D-C52ACAFF2524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bfada847690dae56fd4e027e8ee2b5b1d02863a","datavalue":{"value":"truth-maintenance systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890707$9802DA1F-D780-4299-899B-E28BC25FAF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40c70c96f0592467607475e2e7cdbf81bea34437","datavalue":{"value":"symbolic execution systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4890707$CD3441F7-B25A-454D-B361-5450AFF3D225","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":"Q4890707$B50BFEC2-55E7-41B1-8B5B-FF6C39F91CA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1063bece29dd4b6e998e94b2f0084b7f2a844456","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140c4dd2da6038c16999dd6dd1de968d4293c929","datavalue":{"value":{"amount":"+0.6829729676246643","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":"Q4890707$D85CEEAD-45A7-42FF-8C67-F75AC594CF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd1956f977786f2043a62205373527261741540","datavalue":{"value":{"entity-type":"item","numeric-id":2351149,"id":"Q2351149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d459b1a7399d21897e7d6b0327d82b11468e19e","datavalue":{"value":{"amount":"+0.6815689206123352","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":"Q4890707$993F1853-3234-4381-AC91-E5CDB6E78121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07622c762984e431a24d8f00c8686c029fd4655a","datavalue":{"value":{"entity-type":"item","numeric-id":2457800,"id":"Q2457800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14e84e8530fa12edc6a71815b65204953d4a1bb","datavalue":{"value":{"amount":"+0.6749208569526672","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":"Q4890707$0EDE6E4D-81AE-4B15-9152-8DA4A958A7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"905332bf6c3e109d1de50e535594648948454dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1922347,"id":"Q1922347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3babf1e9589907573aab36033ffad356b63dbd","datavalue":{"value":{"amount":"+0.6690589189529419","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":"Q4890707$AA434CDF-8C07-40B7-BE1D-D48844618801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f690c858d760c02bc1c787b31957541644aed107","datavalue":{"value":{"entity-type":"item","numeric-id":2851948,"id":"Q2851948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51bcf3efd568dff52a8e0ffcf80498be403a0d11","datavalue":{"value":{"amount":"+0.668438196182251","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":"Q4890707$E7ACE86C-72B4-4FC8-9103-2C8F7A50AE19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4890707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4890707"}}}}}