{"entities":{"Q4787440":{"pageid":6817020,"ns":120,"title":"Item:Q4787440","lastrevid":74510829,"modified":"2026-04-14T23:03:06Z","type":"item","id":"Q4787440","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1849875"}},"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":"Q4787440$FA7E7BA5-5E0C-4425-AA23-9CEBF08DE4E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f52b5d3c5c422da989af106d264c1142627bbcc","datavalue":{"value":"1014.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787440$23C9B8B7-D6C7-482E-83E2-14EB59A83D25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7a0151a14226acc3fb9d907c9d99437783ef464","datavalue":{"value":{"entity-type":"item","numeric-id":622626,"id":"Q622626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787440$0C83972D-BD32-4AC8-8ECA-58B2409F0D51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ba0e16ec554a6a916fa7a31c1f3db10e36701a3","datavalue":{"value":{"time":"+2003-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4787440$E467DDD1-A16B-4063-9C60-AD7FA0809980","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787440$C7224949-F03E-44DC-8DB5-57F377998113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787440$3D1F4CC7-0CE0-470D-9A09-4806AEC53F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787440$FDD29C56-B143-4DAD-B8A2-019172BABA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787440$16A5987B-31C1-45EE-9ECE-EA5A944B05CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c17f4583b7e721b0af08b2532c39e2b068ccd27","datavalue":{"value":"1849875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787440$2E4DB53E-0196-4545-A806-C283EE4EFF2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787440$4DC4D979-90E6-4066-B48E-E450C338ED74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b1e23fdd462c5b13a4f6adc3682604d0ec6bd6","datavalue":{"value":"axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787440$559312A7-72C6-43A7-930E-4C44220ACDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358462202abdaf615b501181bc7caad711a809cc","datavalue":{"value":"rules of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787440$938E0CC1-7F8E-449F-9FE1-B761C45BF4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787440$7FFACF0F-8E67-46FF-A1ED-8BFC051FB4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787440$54DF52E1-B3EE-4B9C-8736-58EFF24D2C7F","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":"Q4787440$F5832BE3-744A-4A83-A0C7-6F131D3892C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5474c951363fcbb05675fae5dc4f71316e658b","datavalue":{"value":{"entity-type":"item","numeric-id":4787441,"id":"Q4787441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259b2636b7fcd6cfedfbbe8d14a722fe0ea8146c","datavalue":{"value":{"amount":"+0.992262601852417","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":"Q4787440$E9FD36B7-3EF9-4E10-AB2B-CF80C6F70247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b75b3c054a770c686d38dee1e39a366a6227e7","datavalue":{"value":{"entity-type":"item","numeric-id":4714461,"id":"Q4714461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b149361600fa0fb859d8ff2cfda164e588332fec","datavalue":{"value":{"amount":"+0.8463490605354309","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":"Q4787440$E0A153CD-809D-4DAD-AD4A-D789701904DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc0e35fdc51df4387b0175dcd4f72991a70fa7b","datavalue":{"value":{"entity-type":"item","numeric-id":4864753,"id":"Q4864753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b149361600fa0fb859d8ff2cfda164e588332fec","datavalue":{"value":{"amount":"+0.8463490605354309","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":"Q4787440$A22A098D-3961-46C6-BF8F-D471EB9B295F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541353b112bb6c85237f794ccee61bbb66df3478","datavalue":{"value":{"entity-type":"item","numeric-id":3783260,"id":"Q3783260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d5f028efa699253fa8010f58936b5cd992023e","datavalue":{"value":{"amount":"+0.8080540895462036","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":"Q4787440$9C08CDCF-38A1-45CD-AF4C-D710C78155FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d099b8fe424c1e689782a511828a1239dd56bafa","datavalue":{"value":{"entity-type":"item","numeric-id":5707890,"id":"Q5707890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7fb4469e840bdab6c717a3a595a84e0b059ccc","datavalue":{"value":{"amount":"+0.7971631288528442","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":"Q4787440$BCDF1CC9-6406-4611-96DA-09802698DDBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1849875","badges":[]}}}}}