{"entities":{"Q2996173":{"pageid":3006897,"ns":120,"title":"Item:Q2996173","lastrevid":85888583,"modified":"2026-06-03T12:21:02Z","type":"item","id":"Q2996173","labels":{"en":{"language":"en","value":"Automated proof support for interval logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884911"}},"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":"Q2996173$FC0B22C0-94FF-4558-A968-23DA7E5DF418","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fbf8990792caf996ef9614ebb4315bb4ee1acfd","datavalue":{"value":{"text":"Automated Proof Support for Interval Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996173$38DA610A-E9F7-46DC-8836-165933DD885D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4b5724733429401f8be82ffa83fc2fd0aa76b49","datavalue":{"value":"1275.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996173$7768E1BD-1103-41F8-839B-19CE8CE7BC65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95eefd974d4430684acd41846f89de66037291ce","datavalue":{"value":"10.1007/3-540-45653-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996173$76C73A4B-3588-4E5A-ADA3-6FA623BC9BFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a52eee04ee91e9f633f9294c6d2f67dd8b73b2ee","datavalue":{"value":{"entity-type":"item","numeric-id":2996172,"id":"Q2996172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996173$181E31B1-6B1F-4A47-BD24-C00C6C1B8CE5","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":"Q2996173$0CAD54C0-0B54-47DC-9DCA-74D9C47695AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996173$E152D784-13AE-4B05-9150-24D47962D64C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996173$DB97D2E1-5C3F-4726-828F-6886A05BCA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996173$DE48BDF5-16AF-403E-9E88-594ED73CE12E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61ee39ec8fe734d3bf33414fe8fcc357c77a0913","datavalue":{"value":"5884911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996173$369D7AAF-5EE6-4F1F-A1E7-691CC0995AB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996173$B27035CA-E305-4552-9A9F-0053AFEFC162","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":"Q2996173$9EEB0D9E-20F4-4D2C-8FB0-BAD471AE3D70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e129fc48770484d405d1a70d64c24ed2d2c98733","datavalue":{"value":"https://doi.org/10.1007/3-540-45653-8_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996173$5C67B8EA-C247-42F3-A9A6-07D4BA6FF6F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51a8433d4acf83cd7eeb80198d5a0df3ac67f54b","datavalue":{"value":"W1521749785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996173$40C481CD-741F-4420-AA6F-10D91A09BE11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fafb6cdc98991da679f33f1bad5f9360e5788640","datavalue":{"value":{"entity-type":"item","numeric-id":4783315,"id":"Q4783315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e5cff2dd74d0ac681b9389aa74c1270d76632d","datavalue":{"value":{"amount":"+0.8273652195930481","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":"Q2996173$7FA6584D-FBB6-4AE3-9C31-441EF5998DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049cca40cb3b01e2c4d3852ca12ff7b0e501a6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1421487,"id":"Q1421487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e5cff2dd74d0ac681b9389aa74c1270d76632d","datavalue":{"value":{"amount":"+0.8273652195930481","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":"Q2996173$DA2E2816-A718-45DF-BD35-CD0367023BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e859d542ed2f0901b10e16ba773ee3e99e265b","datavalue":{"value":{"entity-type":"item","numeric-id":4247208,"id":"Q4247208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711aa1fc6e459ea8c65d411fb3c91bb860d1422b","datavalue":{"value":{"amount":"+0.7617049813270569","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":"Q2996173$7CC24251-330A-430F-ADE6-FE16B1C5BC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993d53e8a7616fafa199e2439bc77467372fbc4d","datavalue":{"value":{"entity-type":"item","numeric-id":2703744,"id":"Q2703744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd9f7aaffe7d0146e0be6c84da0043d5a5a82d0","datavalue":{"value":{"amount":"+0.756237804889679","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":"Q2996173$1C121C0B-51E4-4130-99DE-D8C99A811425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a84dcb8f9e59dbff2e0fcb01d3053257208d77b","datavalue":{"value":{"entity-type":"item","numeric-id":5955786,"id":"Q5955786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e31aee7a49e26d8ab2ced79322eee16ed796201","datavalue":{"value":{"amount":"+0.7463535666465759","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":"Q2996173$D575809A-364A-491E-988B-A58E23A0BAFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated proof support for interval logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_proof_support_for_interval_logics"}}}}}