{"entities":{"Q4943268":{"pageid":6972850,"ns":120,"title":"Item:Q4943268","lastrevid":47459164,"modified":"2026-01-01T19:35:00Z","type":"item","id":"Q4943268","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1416050"}},"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":"Q4943268$E9E45E8B-254C-408B-AD5F-9F7EB1BD0797","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36dafbd7bdc88acbc22f40bf778474f9f5c128e3","datavalue":{"value":"0943.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943268$3CBC2495-F99A-4CA5-9D88-8CFD982B5E58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49abffae7d284185bf63548d98932b497e5b5f6a","datavalue":{"value":{"entity-type":"item","numeric-id":689209,"id":"Q689209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943268$7C565D96-9055-433E-AAF4-90B0E94AB703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"839b2eaf1a6c137e43e0a3941c8b44efcd4f7bbf","datavalue":{"value":{"entity-type":"item","numeric-id":346767,"id":"Q346767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943268$68387E67-575D-401E-9850-DF5BBFCCCB70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"229e2d23f76ddb02242aca0dcd4be23ab0b751e5","datavalue":{"value":{"time":"+2000-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943268$AD3D27AD-4EBC-423A-ACD1-FC02EDFD9A91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943268$5937EA7D-4E93-418F-98E0-831883B928C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eff8165bc6fe3eec1eb2779b08ff95bd16ca070e","datavalue":{"value":"1416050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943268$CDF6DE3C-7073-44E6-878A-819BFFD802DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943268$3A381BAF-CEAF-45E2-B7D1-5E0DE44EFD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943268$7897EEF6-6C83-4B49-8DED-61E615C8C49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31be1229374545ff94fd95ad2a5ce9870f120db","datavalue":{"value":"partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943268$F0D0B555-19FF-418F-8CB0-E138EC7EA949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eec8c863c19bda352011252eb441ae0cc8291d89","datavalue":{"value":"partial predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943268$06FA9E5D-ED50-49F5-A5A5-CCB55329D1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943268$D1BAB7F1-883D-411F-B3D2-F9272010E86B","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":"Q4943268$AC7BBDC9-28F2-4095-8D27-9FD0E080D377","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43dbe1520a1337ef3145fb25110ab262401fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0034e6159270966270ee3b25b49f2d11038a0431","datavalue":{"value":{"amount":"+0.7684859037399292","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":"Q4943268$39899E3C-5613-4126-B71A-A45E706F0815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfd22f8c8b25f8db98e043cc42f5f4a784f1c62","datavalue":{"value":{"entity-type":"item","numeric-id":1840652,"id":"Q1840652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e4e2db6f5904e702ff67ac3d8d483f65aa0f23","datavalue":{"value":{"amount":"+0.7457149624824524","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":"Q4943268$4FEFF84A-0CFA-4736-8C50-6BD554F5F6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9e8cb7da8b968220547876e2e5c41fef4e6d71","datavalue":{"value":{"entity-type":"item","numeric-id":4268425,"id":"Q4268425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e4e2db6f5904e702ff67ac3d8d483f65aa0f23","datavalue":{"value":{"amount":"+0.7457149624824524","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":"Q4943268$EC2C9AB5-1E07-4544-B54D-B8F62C386577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc050e6b4f22fb444c32bfeb16f0779c79dc407b","datavalue":{"value":{"entity-type":"item","numeric-id":4424640,"id":"Q4424640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f8694d7b4da65c37e196623326d964b87fef88","datavalue":{"value":{"amount":"+0.7416843771934509","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":"Q4943268$085EA72E-FE0C-438C-8707-60E4E42E5A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40cf9ffbaa76b646489de5ebcfed097843e8035a","datavalue":{"value":{"entity-type":"item","numeric-id":5896510,"id":"Q5896510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f8694d7b4da65c37e196623326d964b87fef88","datavalue":{"value":{"amount":"+0.7416843771934509","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":"Q4943268$695A8E7A-EE9F-4755-915A-9A2E62360CCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4943268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4943268"}}}}}