{"entities":{"Q4938432":{"pageid":6968014,"ns":120,"title":"Item:Q4938432","lastrevid":47446213,"modified":"2026-01-01T18:51:47Z","type":"item","id":"Q4938432","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405457"}},"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":"Q4938432$3E183206-AD46-447C-8F33-1447430944D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f92bad1f1f0136b3f39c1306c821aa3cb78de74","datavalue":{"value":"0938.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938432$CE3FF31C-A1A0-4857-B00F-DDA35A908D6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3951a84cba82ddcb72f268f1c36d745f3c31811","datavalue":{"value":{"entity-type":"item","numeric-id":2767088,"id":"Q2767088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938432$3FB73602-5CF5-4688-9F12-9DEE1D2BFF54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11286054835b1b2494bd8502ba10b3e5bed697b4","datavalue":{"value":{"time":"+2000-06-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":"Q4938432$9FA1065C-913E-478E-B288-6AC7A53DE394","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938432$492298D6-FABA-4362-A511-E2A252597F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938432$CE28D3B1-6A83-4A1A-A425-7189A697A60C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c793c642665e9ee7ca23b15e1aef488087951514","datavalue":{"value":"1405457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938432$552B8395-2481-4B43-99BE-8394344A6A52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2d5e0a81517bf9691c15be3aba49b7cdffdecfa","datavalue":{"value":"guarded fragment of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938432$FA2E2332-441B-45F4-BD33-68349222EF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fffec82fccea9e8e1d34cea114ad06479bba8d5","datavalue":{"value":"guarded clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938432$76D56A9C-2B0C-43B8-94BE-CE4B0421427E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938432$C36230C0-74C5-4D75-92EC-DFE9B37E09D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938432$2D742807-5183-43F1-AF4C-923E44A2A55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fd8359bd586204f1b86eb3b92b74a119097e66e","datavalue":{"value":"automated model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938432$BC4F6DD2-5CBD-4CAF-ADF2-F7056D269B47","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55b02aff260c82fbd1211080f1ad48c6d9aaba2","datavalue":{"value":{"entity-type":"item","numeric-id":18502,"id":"Q18502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938432$5CDCFE1A-9EB7-40E5-8ECE-9F493A1DF40B","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":"Q4938432$57453DF0-618F-4304-A2B8-18635DA29FEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323f4150e431c7a7fd40ff34727ff135b7937bc7","datavalue":{"value":{"entity-type":"item","numeric-id":2767089,"id":"Q2767089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0a09d8a6f91716bdc9fe4b4421a9474ab23392","datavalue":{"value":{"amount":"+0.8165522813796997","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":"Q4938432$43966362-A778-4C8F-B444-EA34298C6632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5d7a65cde67aa78ac42259f95ce545b839568","datavalue":{"value":{"entity-type":"item","numeric-id":1404983,"id":"Q1404983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e925404fb78e903f92c66d4fd26040773b8d986d","datavalue":{"value":{"amount":"+0.7664454579353333","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":"Q4938432$81F5517E-E378-41F9-9711-CDA6A1BB0807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3701d79943fc0924f0b20184354686f01463779","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9abe840a747cdb1eb0448ef19123d9bae5d1cd","datavalue":{"value":{"amount":"+0.7467163801193237","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":"Q4938432$9ABA0724-A138-4DD7-A372-0487A83FDAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6312db91b7d31aac91f5b41943dc962d102bea","datavalue":{"value":{"entity-type":"item","numeric-id":5307053,"id":"Q5307053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2e4fa6357de97fb9943e192ba969bda7243122","datavalue":{"value":{"amount":"+0.7465861439704895","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":"Q4938432$D0B9EE40-E6FC-4B12-91B6-4753CFF1D255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35823b869801ae8c08f5e8e0761bc5c949639379","datavalue":{"value":{"entity-type":"item","numeric-id":4249898,"id":"Q4249898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd2181cf35a47ccd9efcdeb84700eb2110296e9c","datavalue":{"value":{"amount":"+0.7439089417457581","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":"Q4938432$32351329-D49C-4487-B44E-EBBCBC7A3E45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938432"}}}}}