{"entities":{"Q4295814":{"pageid":6325415,"ns":120,"title":"Item:Q4295814","lastrevid":47249959,"modified":"2026-01-01T03:21:14Z","type":"item","id":"Q4295814","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 589685"}},"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":"Q4295814$1B75C227-2376-4F33-B0AE-D1F00E824DBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e1f4c99e909e33279f5b57b0c9fb635f5f0bd76","datavalue":{"value":"0814.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295814$99B93144-1441-477F-87C6-9E1264AAA9EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5934a92b9f5e4794b235543d9047b3d10f70df5","datavalue":{"value":{"entity-type":"item","numeric-id":245829,"id":"Q245829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295814$8BF01AB4-081B-4578-A4FD-A9A5F0FFEFC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b284e35c1970c32b54ea678933b5f17581b0b244","datavalue":{"value":{"time":"+1995-06-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":"Q4295814$6761BBA5-3AD0-47AB-8BC2-71E2DC5D69E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295814$A4868E44-B3C6-4827-B8DE-193615E9B30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295814$CE24B21A-CF66-4D01-8308-4CDFC21D00F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295814$1913FF4F-943C-429F-819D-7E80E1378CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295814$D9A07A76-2849-47A9-BA88-BEE14EDFDF79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de93ad6edbfd4116a259fdf7d37c547b219b3eb4","datavalue":{"value":"589685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295814$ED6A689E-5BAD-467C-B47F-C7E2AAA7E0AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295814$720937ED-C852-4131-BB54-68210D5137B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6d754a457b057355504dc595be0c96b80c78d7c","datavalue":{"value":"modal self-referential interpretation of negation by failure in PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295814$348DDC25-CF78-419E-A672-359BF1DBCDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295814$62926A13-E343-496B-ABC4-570D7FC6F8BF","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":"Q4295814$C5207E5F-F89F-4E64-A0B6-B11EC8BC48B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541007d2412be365e1f6a48884b590f77aaaf612","datavalue":{"value":{"entity-type":"item","numeric-id":5053008,"id":"Q5053008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc9e249f1a9bb43e37be43e60e0a6a5dd818481","datavalue":{"value":{"amount":"+0.8914046883583069","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":"Q4295814$3EB533CF-2ED9-4AFC-9B49-5BF8E9B03A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab778a8ea11697a43e79c97f291e452bfc4bb6fe","datavalue":{"value":{"entity-type":"item","numeric-id":4305346,"id":"Q4305346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60adb53cfce469ea0ec82e8499d9d5c8439210c7","datavalue":{"value":{"amount":"+0.876075804233551","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":"Q4295814$8550E9CE-EF5F-47E5-B676-EA113934A06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b69806df4ecea839c519ab1bb574fc8bec94e88","datavalue":{"value":{"entity-type":"item","numeric-id":3356290,"id":"Q3356290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8daaa2ba8c9e3f3e52a1671d57f3d8f13db864","datavalue":{"value":{"amount":"+0.8601453304290771","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":"Q4295814$6CFFB81F-7A72-43D1-92FE-6CB6CEE0B38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f029544e0554671c6b838467cd90a2f71e2605","datavalue":{"value":{"entity-type":"item","numeric-id":4035698,"id":"Q4035698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3d5e2a5e4dfa22624fd376cb98d4c3f03dce47","datavalue":{"value":{"amount":"+0.8266258835792542","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":"Q4295814$0EA37E9D-8713-4332-97B5-51ECF163FCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b254533dbc1834873bc702e1c327348b2eb041d7","datavalue":{"value":{"entity-type":"item","numeric-id":4010369,"id":"Q4010369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3d5e2a5e4dfa22624fd376cb98d4c3f03dce47","datavalue":{"value":{"amount":"+0.8266258835792542","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":"Q4295814$71652873-A652-47A9-BC53-180D9AB932D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4295814","badges":[]}}}}}