{"entities":{"Q4295816":{"pageid":6325417,"ns":120,"title":"Item:Q4295816","lastrevid":47249965,"modified":"2026-01-01T03:21:14Z","type":"item","id":"Q4295816","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 589687"}},"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":"Q4295816$952AA318-3C02-4ED2-BFEA-D80255D5A564","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a66f579371a6940ba9ef38ef185843abb5e95a62","datavalue":{"value":"0814.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295816$7F46A56A-CAC6-49E7-9982-B1FCD09BD3A9","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":"Q4295816$D39A6058-A73E-4AE5-AD52-863BC4F38EC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"110d1dc4960126b3aae693e20b468d383b33f265","datavalue":{"value":{"time":"+1994-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4295816$35858021-59C0-4EF1-8E0B-DDBFE01873AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295816$5967948F-8649-4B51-B8CC-F2D205E2D74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295816$2CC969BF-9949-4154-A32B-A7AA2AAB30CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295816$3D37F070-9D68-43C5-8B47-A1FD90FB42CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c00d055a4c5cb9263bbdaddc13cd889aa2e8543","datavalue":{"value":"589687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295816$04F51F05-14EA-433E-AC3D-F36C3C9227AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295816$43B54DE5-44EA-4803-A054-BBD6F5764D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295816$81B5D549-9CC2-4D6C-8006-0A2E9E93FED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109201d2c06f57c42d2eaa9400749f709a813e28","datavalue":{"value":"negation by failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295816$098260E3-4D3F-46FE-ABA2-DA5680C84E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5c9f11e0e8c8133647ca3ba0fa19e62d1836a1","datavalue":{"value":"bimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295816$C3F3DE33-5878-41E0-96D2-A0172D0A9C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295816$B7E2AB45-5ED6-4D45-A5AD-5A33A1993312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295816$050F54F8-66AA-4C56-A70E-4CCE16800A13","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":"Q4295816$C9DAD166-9BF1-44E6-ABCC-A7E5C02789BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adeda085ef2249749b9d5d0025e4220400742f81","datavalue":{"value":{"entity-type":"item","numeric-id":4694251,"id":"Q4694251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac45171bd8a9a59b91827ef102881268c7d89ef","datavalue":{"value":{"amount":"+0.7689809203147888","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":"Q4295816$8139AA37-3DCB-4B00-A316-1D9914A3E867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6750b6b63a4cd501d187c1dea8c64ba175b3388","datavalue":{"value":{"entity-type":"item","numeric-id":3774999,"id":"Q3774999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396d5c57456e7d0c462c145d45efbb66ae9497b7","datavalue":{"value":{"amount":"+0.7657904028892517","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":"Q4295816$A7140071-86E4-4D15-9279-2FBF414572BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"884735aa208339766262b7c27369d1702cd596d0","datavalue":{"value":{"entity-type":"item","numeric-id":3781067,"id":"Q3781067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a97b971e6fdf93dc59eb58c21c06f168d022779","datavalue":{"value":{"amount":"+0.7613454461097717","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":"Q4295816$C8979206-F35A-488E-BA89-8438FF0F308D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73050f254ccd9fed07e02eb56c716b164cd6dbaa","datavalue":{"value":{"entity-type":"item","numeric-id":4295814,"id":"Q4295814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eeb9973dd0ef6d51323397ebbeb91bbf3f90a34","datavalue":{"value":{"amount":"+0.7608526945114136","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":"Q4295816$AB9E447D-DA20-4E26-8E8E-1930B4A14E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d0e789373e466b39103f87f65af19856655230a","datavalue":{"value":{"entity-type":"item","numeric-id":1891265,"id":"Q1891265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eeb9973dd0ef6d51323397ebbeb91bbf3f90a34","datavalue":{"value":{"amount":"+0.7608526945114136","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":"Q4295816$289410DE-C1F6-4E1B-AE66-6026ADA4574C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4295816","badges":[]}}}}}