{"entities":{"Q638492":{"pageid":640340,"ns":120,"title":"Item:Q638492","lastrevid":63326019,"modified":"2026-04-11T12:06:44Z","type":"item","id":"Q638492","labels":{"en":{"language":"en","value":"Cut-free formulations for a quantified logic of here and there"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5947135"}},"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":"Q638492$28A76D6A-F8AF-4012-BCC1-A2CF8425043E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"909dff1a934e67b1b24ec963d74b0f2cd24febb1","datavalue":{"value":{"text":"Cut-free formulations for a quantified logic of here and there","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q638492$3538F215-620F-48AD-B5EB-B8FB174AC59C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5737750190d41a51f58a8069fa0007e17b18eed9","datavalue":{"value":"1253.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638492$1F6AA652-2AAA-4E05-8DA1-CA9E51AE137F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638492$2FC71742-7EBC-497A-8185-5F150BA0A407","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638492$EF91F688-7081-470D-A3D8-28B5458CABA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28ce2fef0076f9b8b7c93bbdc314b820e86bb25b","datavalue":{"value":{"time":"+2011-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q638492$25591A4E-B2DF-4459-BB86-86D7F34B7B5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638492$9EABD750-23E2-4C52-92BD-6E5563018BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638492$BFA19832-0412-4192-A119-7D0008C32024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638492$871DD178-20A5-41D8-9DE2-D74D76E61DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638492$EB1972B2-D600-4918-8F3B-D169D65CDBF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"074f5c7a4f82ad7a496362963fa413be78fd5ce0","datavalue":{"value":"5947135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638492$BFA0D3A1-B594-4F87-A64C-9EEC187F484D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"523058d49ad030a3fe6c55ba3f577151f388f8fb","datavalue":{"value":"logic of here-and-there","type":"string"},"datatype":"string"},"type":"statement","id":"Q638492$1F7529B9-D4F2-4134-81A6-6616C1E27584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22f7a8554a3a2c3029084309b07d85768a96bf36","datavalue":{"value":"strong equivalence of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q638492$032605D8-74E7-4ED6-8C8A-6BB39395DD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q638492$59DBF3AA-C475-4BF5-86F3-2D35639CC86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"879dbef52d4af6ec2327d8a51bfb96eda9852865","datavalue":{"value":"cut-free logical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q638492$1BD3479E-E8D4-452F-8DE0-DAB0DD8AA47E","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":"Q638492$084A0067-C9BB-4D3B-96F4-F7EEA3EDAC9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e2710509b9f9dbe7d1700b1daac44cecacfb32d","datavalue":{"value":"https://doi.org/10.1016/j.apal.2010.09.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q638492$AD43C45D-A556-4A33-AF50-A4641205A54E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a677dcf6834ee3458ca5e1835225db076f3d281","datavalue":{"value":"W2061774562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638492$C01FB309-23D0-4630-A0C6-99F0ABDF8714","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf275ea16c4cb3b4c034947ed7873316c29790a","datavalue":{"value":{"entity-type":"item","numeric-id":5431419,"id":"Q5431419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638492$93C4C71B-791C-442C-8ABA-2302202FB380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e23772db96e9bf015553350a5ee3dfa756e876","datavalue":{"value":{"entity-type":"item","numeric-id":5425408,"id":"Q5425408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638492$4BACF21A-D37B-4552-BA71-6A564F9FE8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a95bae7b20a2056e0cc10c2679a1f66b9a8c9bd","datavalue":{"value":{"entity-type":"item","numeric-id":4452594,"id":"Q4452594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638492$8ABB8EA6-0488-4502-AEC0-1B793FBF4946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638492$100B7679-F528-458D-B4B1-3FA77CBF85B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfeb5b47444eafa245f412784b14045d4644ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1372944,"id":"Q1372944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638492$E97164BA-53CE-4318-B204-51BC56956E9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36575bd60b584932815efaa72dfaf4591c275815","datavalue":{"value":"10.1016/J.APAL.2010.09.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638492$A0292297-B4CB-49FC-A310-8B6F936CBBA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8d7786513875334ac327ca9907172fa8b15208","datavalue":{"value":{"entity-type":"item","numeric-id":5869667,"id":"Q5869667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d687cc5ce890f9536bf82f998bad0cc62324447","datavalue":{"value":{"amount":"+0.7482266426086426","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":"Q638492$703787EB-CE36-44EA-8133-95734FAEF3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f483d4877d99bd67124169dd789aa0ed1a81cf","datavalue":{"value":{"entity-type":"item","numeric-id":2900511,"id":"Q2900511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"554871d1e5067347461da7ab82134910d53b45e9","datavalue":{"value":{"amount":"+0.7468162775039673","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":"Q638492$006FADAC-9C24-41B7-9609-06CB9FF4D959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4267156eba0f17a72667cae9dc858b3cefb46486","datavalue":{"value":{"entity-type":"item","numeric-id":2851264,"id":"Q2851264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd968a1083807580cfd6060c288e6c36f733c4c","datavalue":{"value":{"amount":"+0.7310534715652466","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":"Q638492$BC4CA153-534C-4A43-A53F-BB9DE01FA3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e000ad49afd82833cb64d9dd071c10fe20bb66","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0220f1f84e51978d1db34bc760df8a657c08e4","datavalue":{"value":{"amount":"+0.7305944561958313","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":"Q638492$17BE779E-A028-497C-8792-42B83679B8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea33aa3d446a4a35599d608bc7a3833997fb16f4","datavalue":{"value":{"entity-type":"item","numeric-id":5425408,"id":"Q5425408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ce7369ce042ab3987e8d209e91110539b92093","datavalue":{"value":{"amount":"+0.7246021032333374","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":"Q638492$F72954F9-9BF5-43C0-95BD-821A93EE81D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-free formulations for a quantified logic of here and there","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut-free_formulations_for_a_quantified_logic_of_here_and_there"}}}}}