{"entities":{"Q4518872":{"pageid":6548465,"ns":120,"title":"Item:Q4518872","lastrevid":41857349,"modified":"2025-05-09T03:17:14Z","type":"item","id":"Q4518872","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538017"}},"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":"Q4518872$CFDBDFAA-E1F0-4FAA-BDCA-B2982A070BEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0db0fd4e8c6723d51213328b296b2e6d9cdd955d","datavalue":{"value":"0961.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518872$423674D4-DD89-40EE-A760-C5BB5BE86978","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52caddde4c4a8086dfa662518cfe1d259ee78e9e","datavalue":{"value":{"time":"+2001-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518872$B99B2795-C53F-4957-B6C9-852D13AFDAE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518872$DF5D6E2C-57F7-40DA-8687-3D67F667328F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518872$0C45DBA7-99E1-4523-A95A-A39DF01559E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518872$1FF554A5-ACEE-40C6-92E8-E135CDBE69A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518872$C14E7EB2-EED8-42D6-8CAB-50878BEF33C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adc492adf826ef27adc8822c6d09e339d590c28b","datavalue":{"value":"1538017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518872$FBC8DD1C-AFFC-4E52-B5BC-4719BA2DD798","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518872$CCD531B5-3B6B-4070-9B55-A05CC56E8BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d7e8a9c2fef410a0ec0f47c6e1f03bb0f97bc1","datavalue":{"value":"first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518872$3ED4D3E0-8CAD-4E42-8441-25F0F1FE657D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5df03082338ed4596489b557e6a9b7d8740946a8","datavalue":{"value":"combined decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518872$AA83B098-6FD4-4E9D-9220-081091F81C04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdef74c3015c2eb47207605c5cffbe54af2df392","datavalue":{"value":{"entity-type":"item","numeric-id":533877,"id":"Q533877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518872$BCAB2C28-D003-4F2C-9C54-7EF1B2374684","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":"Q4518872$0FD38A81-5CAF-4062-8884-5C889068B2EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a694e0765c99733ca94a83de779f3783dc6a0f","datavalue":{"value":{"entity-type":"item","numeric-id":4316215,"id":"Q4316215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7588580febbab29e7d8eea800a60c9136cb7479","datavalue":{"value":{"amount":"+0.83228344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4518872$13BAAC14-82B2-43C1-A5ED-E51971E30424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc90fb60cc09996a620c6a2515e47b0d16bb63ea","datavalue":{"value":{"entity-type":"item","numeric-id":3975157,"id":"Q3975157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5174ad53fc9e5bfc5f54292f1856d019a2d55f7","datavalue":{"value":{"amount":"+0.8176108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4518872$0BA9C798-3A93-42AA-BA29-FE9F34F3B427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91831b0f675df7f04cc2ceff4f069e70b9a76f43","datavalue":{"value":{"entity-type":"item","numeric-id":3760311,"id":"Q3760311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195806e622235307d5c2b6dfcdf7a52443dab2b3","datavalue":{"value":{"amount":"+0.8142937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4518872$F20B72C6-F959-491D-8ED8-406BE6472AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70405b4c8d58b4a74a98e9ebb84db1fcbd53eeec","datavalue":{"value":{"entity-type":"item","numeric-id":673624,"id":"Q673624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251428de58e1f0c13c4f42d16cbea2c30adb1101","datavalue":{"value":{"amount":"+0.8138537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4518872$0BC36DE6-FCA7-4D14-B1B7-180352B214AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c1144f1a44feae236bfcb37c0d041d2e965e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5055803,"id":"Q5055803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251428de58e1f0c13c4f42d16cbea2c30adb1101","datavalue":{"value":{"amount":"+0.8138537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4518872$811032C7-85A4-404D-AF09-18D196806508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1f4ec19cf1fad57bd31f1e70147d29dd27cd1d","datavalue":{"value":{"entity-type":"item","numeric-id":2440184,"id":"Q2440184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c160dce30a449d8310b6d86d46d479891724619f","datavalue":{"value":{"amount":"+0.8119151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4518872$89D50710-9F0C-41C1-B492-949A86F3564F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e477694d5680a35ae567b287dfa7e8684e7282e","datavalue":{"value":{"entity-type":"item","numeric-id":2793096,"id":"Q2793096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a8edc1f5502544dde86bdc470feeed39a67e6f","datavalue":{"value":{"amount":"+0.8117007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4518872$83EE8469-A3D2-4D1C-B0E7-B85FD0FEFDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe53f2df70d64020a468eef7a58c87ce585f92e","datavalue":{"value":{"entity-type":"item","numeric-id":2357408,"id":"Q2357408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a22b38cd5e6e43eba67e286e737f40a63756984f","datavalue":{"value":{"amount":"+0.8089752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4518872$35714C9F-A084-418C-AB9F-B97E23831F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7fc92e3207d083ebb37c467b4fd1e35ad95737","datavalue":{"value":{"entity-type":"item","numeric-id":688379,"id":"Q688379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663831eb2ef1f40e6a2123a3d79ab4877f28edd6","datavalue":{"value":{"amount":"+0.8079971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4518872$9A04C03F-E79C-4617-9224-0C528DC3BA6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518872"}}}}}