{"entities":{"Q4094852":{"pageid":6124452,"ns":120,"title":"Item:Q4094852","lastrevid":39406436,"modified":"2024-12-29T03:29:04Z","type":"item","id":"Q4094852","labels":{"en":{"language":"en","value":"A Completeness Result for Quantificational Tense Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3515449"}},"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":"Q4094852$F5CF4356-1061-45EC-A940-7C8A7A946C03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d2855713f8895198dce3d2794d7fe3dbb59c6ac","datavalue":{"value":{"text":"A Completeness Result for Quantificational Tense Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4094852$0151B908-A4E8-4356-AFF2-9A55CDFFDD2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa9faf46cb85ca57b9f3fa2d68de32dfb42414b4","datavalue":{"value":"0329.02008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4094852$4A6F202F-4F71-4F29-AD8F-12E9D07262A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d03d266626bd21762f025b6ae8b0e598d468e35","datavalue":{"value":{"entity-type":"item","numeric-id":1134144,"id":"Q1134144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4094852$40004E31-4E32-4BE1-A994-43B9D42F69AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66029be16c472eb1e4d4ce92c265f3637cef78d5","datavalue":{"value":{"entity-type":"item","numeric-id":758984,"id":"Q758984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4094852$B5CD1E3A-FDFC-42AA-AFD7-C0DE98533848","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4094852$8C57CF89-3F7B-4E18-A214-BA723AD3214D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q4094852$EA8B0279-CEF7-415C-9388-642BD17F33AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4094852$A99773F5-80FB-4266-9F45-FE87C664B70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4094852$AC35EB82-E301-4D70-A947-A74BCC32F5C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3b95835b564020d2d3d1ec981f2260b45428ee8","datavalue":{"value":"3515449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4094852$B12B4FB5-0E63-4A03-AEDC-AC339C8475B9","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":"Q4094852$A3CF1410-4887-43FB-AD53-39BEBBE66F1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4902e49061a1ffd3ec7e1ae546e868c4ad8700a2","datavalue":{"value":"https://doi.org/10.1002/malq.19760220110","type":"string"},"datatype":"url"},"type":"statement","id":"Q4094852$FFE5A8FE-A5A3-4B64-859E-C1387BC53AE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4081f170d267a4e504a99b630cd05798f9e4802e","datavalue":{"value":"W2056058741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4094852$550B8A91-B066-47E6-B6E5-7C50E45B5140","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"603bf6e3cbc7609d631082999cfa2bff464e4116","datavalue":{"value":"10.1002/MALQ.19760220110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4094852$BFB5972B-643B-4100-8063-4528C3A725C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4094852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4094852"}}}}}