{"entities":{"Q1211484":{"pageid":1222233,"ns":120,"title":"Item:Q1211484","lastrevid":66309036,"modified":"2026-04-12T09:06:38Z","type":"item","id":"Q1211484","labels":{"en":{"language":"en","value":"Semantic representation of the probability of formulas in formalized theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3456888"}},"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":"Q1211484$49410B9E-0514-443A-BFEE-365DB8EF4CD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42c3ec8bf1ce50344c7545a25f7ed0a482c41273","datavalue":{"value":{"text":"Semantic representation of the probability of formulas in formalized theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1211484$DEC8254D-2483-4C89-94FC-F2FF84555FDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dfe292d122fa86ccf943bd26b093b8bfad7898e","datavalue":{"value":"0292.02008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211484$AF17256B-25C3-4E43-A6C0-E11C585B6889","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d4c095511ab7bfe003e4c084ec62c938e831ca6","datavalue":{"value":"10.1007/BF02121785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211484$344E6E06-4A20-4BDB-96DF-95ECC0F10634","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"837c259cfa9eea4724d7c6f57eae7d7c7b4a5f92","datavalue":{"value":{"entity-type":"item","numeric-id":766672,"id":"Q766672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211484$26E74BE1-83F7-42ED-8863-655C611188AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1211484$4849C61F-45CB-450C-8DE9-E1545689CECB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2ff0c8850243f6c91f9deeec455d393bf560c2","datavalue":{"value":{"time":"+1963-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":"Q1211484$088816BE-0712-4EBE-85B9-CDD767A7D2D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211484$1D6CF03E-C707-4B03-88D0-F4A5B267BBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211484$C88232AF-87B7-4634-B8D5-A42423052AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"573684ced2fe2c188247678e777849505e146cb1","datavalue":{"value":"60A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211484$F12F9320-9912-469C-95E5-ACE4F8C154E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"656d68eb77377c8da6cdb0bfeabcf493dc74d675","datavalue":{"value":"3456888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211484$C7498865-3BAF-4B55-B2BA-483A0BCC7995","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":"Q1211484$F3F5C990-FCF1-4DE8-85B8-856D997DEA98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"915fa409caa960a3b9d42a02a09efbdf6cf19740","datavalue":{"value":"https://doi.org/10.1007/bf02121785","type":"string"},"datatype":"url"},"type":"statement","id":"Q1211484$73277F47-2426-40CD-B3F1-6ED436A8EDC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4470e5f025c6d30ed1658a9cafd56f78730d4f2","datavalue":{"value":"W4236745595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1211484$B6F5F3E8-501D-4A40-8B7C-32C592CD3215","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantic representation of the probability of formulas in formalized theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantic_representation_of_the_probability_of_formulas_in_formalized_theories"}}}}}