{"entities":{"Q4530457":{"pageid":6560049,"ns":120,"title":"Item:Q4530457","lastrevid":47921707,"modified":"2026-01-03T02:26:54Z","type":"item","id":"Q4530457","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1748572"}},"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":"Q4530457$EEA35980-8856-43A8-8DD1-3FDD2B1C50EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5515402c37cacd73fd08ec032fdd7c10e3f1169","datavalue":{"value":"0997.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530457$ACA0C405-E381-41C8-B353-A0B8CDFB4366","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa4b3b91abee7e894be1eaba82613666c54edb33","datavalue":{"value":{"entity-type":"item","numeric-id":1275595,"id":"Q1275595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530457$550839EB-5E90-4B38-B8C9-730E9B5091CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b02b9e7e03e44c0aa9ad28c14a665e922cd412","datavalue":{"value":{"entity-type":"item","numeric-id":421457,"id":"Q421457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530457$640894AB-67C3-456D-8A8F-D619EA4DF416","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e97f824546b3447b15b77d52f9f484532dcf8f","datavalue":{"value":{"time":"+2002-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4530457$C804D569-6972-4455-B8A0-AB873E243DC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530457$B49F3AA5-1EAB-44D3-B986-D7D4F09EA60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530457$832A58CB-22B5-4493-A703-F76A0040C65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530457$7111C6EF-8DFD-4B2B-814A-3DD97F519A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530457$C28740AB-794C-4E5A-8FDA-C721E72405E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96a81c8c4357190799a3065aeb46259719a2322d","datavalue":{"value":"1748572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530457$8637D6DA-D259-434F-B77E-63B753F63F77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530457$2BAD1D71-4C70-4763-9F75-7A2CB5439F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"766bc9001b5479b4eed866a142c947c3a2ff8d0c","datavalue":{"value":"connection calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530457$884C7B20-315B-4653-82F8-DF6664E965E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9592485cf04ef68f347e7a3da52d03b48fbd617f","datavalue":{"value":"query-answering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530457$2931D853-2CAE-4012-B45F-803CE2867E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530457$32E856FB-8898-42D5-A712-E02665F377ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2f976b8e52bff04fa9f0dfbc6ef2dd6da37e0","datavalue":{"value":"default reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530457$6C3A7996-4951-4EF6-93B8-313D6D85933B","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":"Q4530457$38A08CC1-7257-4369-9144-2069407F121D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c16c3321b34337bdae801cc87765e8b09bcb10","datavalue":{"value":{"entity-type":"item","numeric-id":1344885,"id":"Q1344885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb846ce00c4891ef857321528b09b9ea2d4575d1","datavalue":{"value":{"amount":"+0.8230768442153931","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":"Q4530457$D452917C-F85D-468F-8B83-B09DF7002B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9b6da3485a4b7234e7d09bd92d9869a9c9648c","datavalue":{"value":{"entity-type":"item","numeric-id":4282499,"id":"Q4282499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb846ce00c4891ef857321528b09b9ea2d4575d1","datavalue":{"value":{"amount":"+0.8230768442153931","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":"Q4530457$C8D8B592-C65F-4004-902F-B008D4949EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba64328f3da153bdc283716be23ad38fe863e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4028783,"id":"Q4028783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61176ff2628fa67a47c75748ad2ff7f4e2db9b0c","datavalue":{"value":{"amount":"+0.8180438876152039","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":"Q4530457$4419C210-17F8-4126-A1F1-2CDBBB0DBA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57d8a97f95a5acc8b87cca68f729574adcd58cc","datavalue":{"value":{"entity-type":"item","numeric-id":4236375,"id":"Q4236375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61176ff2628fa67a47c75748ad2ff7f4e2db9b0c","datavalue":{"value":{"amount":"+0.8180438876152039","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":"Q4530457$8F94F5DC-6CF4-4263-8CCB-A87060205128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2815450ed1ff97eb63f53d11f227ce9cc8aa29c6","datavalue":{"value":{"entity-type":"item","numeric-id":1896370,"id":"Q1896370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b346eab40aea247cb72c4b010ac724500433da0","datavalue":{"value":{"amount":"+0.8133360743522644","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":"Q4530457$8B0DAC3D-705F-483D-AFEB-26DB3E0B97F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4530457","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4530457"}}}}}