{"entities":{"Q5659072":{"pageid":7688632,"ns":120,"title":"Item:Q5659072","lastrevid":32077030,"modified":"2024-03-19T20:58:07Z","type":"item","id":"Q5659072","labels":{"en":{"language":"en","value":"Statistical Studies of Theoremhood in Classical Propositional and First Order Predicate Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3390257"}},"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":"Q5659072$E4100B7D-0681-4CB8-8F6D-9BAFBB70FC58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87407ac68e25d3fc2af2f77e735ed747498f37f3","datavalue":{"value":{"text":"Statistical Studies of Theoremhood in Classical Propositional and First Order Predicate Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5659072$37EB4837-9C29-4C8E-8DFA-C75E0CCE8776","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da8d7a57e288051eb900ebbf458a425574e36240","datavalue":{"value":"0246.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5659072$6E28FF9F-1666-4CFD-905E-781310999737","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cdd0a1d80e0853f3a826f06bd2d616befe1e548","datavalue":{"value":"10.1145/321694.321705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5659072$25D60429-6771-42A0-8210-CBECD78A43DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b8215eb006148ef45ce94b6e207ac60c369bf2c","datavalue":{"value":{"entity-type":"item","numeric-id":1168086,"id":"Q1168086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5659072$48EF899E-D69D-4EA5-977E-40E9F95FCEDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5659072$4295FAD8-158A-4A1D-AD85-99DE7E9300C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5659072$D61A969C-6DFB-4E6E-8986-6FE70839F45B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5659072$AD9DA80A-7491-44CC-8992-EA2940A17594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5659072$DC04F9E6-8D24-4079-A774-6ABF78D1737F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9be846c70b0b796a29c910d37216209d6e6d8706","datavalue":{"value":"3390257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5659072$5431C44D-DD7C-409C-B5BD-D18DA49C94EA","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":"Q5659072$A3124B3D-15C4-46B7-B131-8D7D9D6B73D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5da9e3b2353058dbcfd0124f1dd455088afb8dd4","datavalue":{"value":"https://doi.org/10.1145/321694.321705","type":"string"},"datatype":"url"},"type":"statement","id":"Q5659072$66A827A3-DA04-47BF-8686-A45191E29D5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf79e36fd615a722a41bc9e79b16f06764ca2e6a","datavalue":{"value":"W2116796266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5659072$D26CA722-D7D5-4FDC-8084-22F9A3305271","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5659072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5659072"}}}}}