{"entities":{"Q300555":{"pageid":302322,"ns":120,"title":"Item:Q300555","lastrevid":60815190,"modified":"2026-04-10T19:18:19Z","type":"item","id":"Q300555","labels":{"en":{"language":"en","value":"Nice embedding in classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6599135"}},"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":"Q300555$3D92B896-E3D8-4E13-9C53-6310AF9CC301","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b991d9c57f8291ae31bfa31e96219085298d39a7","datavalue":{"value":{"text":"Nice embedding in classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q300555$4EE2FC46-630C-4195-9597-7676507C93F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc18ee021246e0fff5a6fe67bcf7d94f4092e9d5","datavalue":{"value":"1392.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300555$6F9A63AE-5FED-44E2-9B9F-6254DF0601CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0be1e92c37e45bee89521c460eed481fa2fc7d7","datavalue":{"value":{"entity-type":"item","numeric-id":300554,"id":"Q300554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$C0867ADC-5DCB-4CA6-B31E-A28717E777C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04895740d3b209cbeb5e6504f0c2ecece3635033","datavalue":{"value":{"entity-type":"item","numeric-id":185584,"id":"Q185584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$DFE4DA7C-C99D-4E88-AC2B-C7A20FB651DA","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":"Q300555$67A15360-8128-4C9C-87D9-92E6CEC1F977","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbcea371f4566b396cd1a7c03cc4551825ca31fc","datavalue":{"value":{"time":"+2016-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q300555$C6B61515-D951-4216-9B43-AE092169CD9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300555$CCF6F936-7502-49AB-9498-4782E96BEFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300555$127F8AE8-2D56-4886-B1D7-C5DC63166B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300555$AC0FDF21-8435-41FF-88B5-291E6E45D729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300555$28545B34-2E73-4613-BF22-CB765E0C775F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20d8b724ab1a54b5b4a077b2d54adbb180e09771","datavalue":{"value":"6599135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300555$09687A40-5A95-4DEE-835E-B523CE218F48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q300555$1F3D760A-BB5C-4C65-9B4E-ECA9F7B37D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b85cd9e5dd5417c95f4321d076f971fc4d2367","datavalue":{"value":"translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q300555$1F6E5801-98F8-4615-B020-31EFBA0FFBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q300555$528B7BE3-2581-4C7A-A3B2-1A3D280E6C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95d419bff8c6098d98efdace8314c15d58f70c41","datavalue":{"value":"gluts and gaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q300555$D12DBB0C-C904-454A-99BC-D3F5EBE1DF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34242ee1ab23b2b9ecc9097499e7fe507c6e688a","datavalue":{"value":"bi-valued semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q300555$9D2CF0E4-E480-4A8A-9D88-0DA1D2A85C95","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":"Q300555$D603606E-A492-4B92-95E9-74A2F9C05DA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c44508b5c7fe87e08f5a5d1a7037e4bc2996a49f","datavalue":{"value":"https://doi.org/10.1007/s11225-015-9622-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q300555$E3449D12-EDA4-422A-86A9-CFD04A39F043","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9ffeaddde7af28d555895951511a0ca4b5fbb2d","datavalue":{"value":"W862038960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300555$F152D3ED-3C47-4794-8963-52E6597A5E71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$8E103157-57E2-4F48-8B1B-DF24B190EA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e6f389bfce1c32efb761b27cd8b109fbab119d","datavalue":{"value":{"entity-type":"item","numeric-id":4132493,"id":"Q4132493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$EDEB7753-9E2A-4B2D-9D19-025788F12D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"382624bafe6d54952ddaf213bed9196b602adab8","datavalue":{"value":{"entity-type":"item","numeric-id":2804320,"id":"Q2804320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$FD39E024-C3FE-49E2-A61D-F5C106642CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820be829bab959f19fa8e719b4e805b85fcedc4e","datavalue":{"value":{"entity-type":"item","numeric-id":3909031,"id":"Q3909031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$F95C0EB8-80AC-4F7C-BB72-F12FBD48BA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438f2d7065fb232baa7a4b7a295ed55585cea17c","datavalue":{"value":{"entity-type":"item","numeric-id":4250060,"id":"Q4250060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$DE64BE28-8A75-4A19-B566-DDC751ED9F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02da0d27d5997d61704579c1a6ca0da56cfa85e","datavalue":{"value":{"entity-type":"item","numeric-id":4925910,"id":"Q4925910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$1D77C86E-FB7F-4B2A-B9A3-9B215710B7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e941acd9477942018b581d9de83bf98bc7eebf","datavalue":{"value":{"entity-type":"item","numeric-id":4811771,"id":"Q4811771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$023F2A0C-00E3-4647-95C5-3B3938BBF1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b6d9869c06634408fa47097c1943024850e3f9","datavalue":{"value":{"entity-type":"item","numeric-id":1573860,"id":"Q1573860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$E5602EC7-EC0C-4AF0-B9F0-4CA7639776F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06b0a8ef425cb1262d4fd5f0aafee69f3766b550","datavalue":{"value":{"entity-type":"item","numeric-id":3148848,"id":"Q3148848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$5BC76636-8613-44D7-B902-FD84799DC608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d93c537763541c7d62c3dc3821cfcf0bf84f17a","datavalue":{"value":{"entity-type":"item","numeric-id":1931302,"id":"Q1931302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$DAE3B93F-E296-42BE-9164-414C92239F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28ac66a35b23904df7ed0d46606cb0ba887b411","datavalue":{"value":{"entity-type":"item","numeric-id":5728439,"id":"Q5728439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$F0C2AC6B-DC6C-46FF-A21F-2F16650EFD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ebd3c1485bfb307534e31cfc4eea5466ee1888","datavalue":{"value":{"entity-type":"item","numeric-id":2552121,"id":"Q2552121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$9C3080E6-06FA-420E-B063-76C7ED1DD478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aeff44231374374fbd56ecfde39f4fdd5a2740d","datavalue":{"value":{"entity-type":"item","numeric-id":5956945,"id":"Q5956945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$BABA28F6-4C94-4189-9F23-AFC46B4C09F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$05DD7819-3305-4470-923F-92A8F65598CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44bf020bd4e6d9dc5d4d627edb3847886b024b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4899964,"id":"Q4899964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$0F3B999B-E831-481E-8987-DBA82B6AFB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$9A6F5806-00D2-4F00-A5E9-186704364FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aac19285e8ad995ae1acbd963180e183b500f5e","datavalue":{"value":{"entity-type":"item","numeric-id":4329290,"id":"Q4329290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$698C7171-9C30-4970-A929-24ACAF5EFC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b42e084fde522be211082218d43628a5408afe","datavalue":{"value":{"entity-type":"item","numeric-id":3992933,"id":"Q3992933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$65AB334D-9816-42CF-98D2-AA78D23DF657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32793c5851e041526f0ab0dada810aa9e16a780c","datavalue":{"value":{"entity-type":"item","numeric-id":5845641,"id":"Q5845641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$D84BE91F-5D44-4F92-AD57-2560E8BD8C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21aa2c8417444bb3098b83ec743e607734c3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3285631,"id":"Q3285631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300555$2FE171AF-6791-40E2-AF51-5A045CBB1C25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da943c6a4a1656ba9a09979dbc0ad20c5f1a2063","datavalue":{"value":"10.1007/S11225-015-9622-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300555$49990FB6-D137-457F-83E1-3C9D0B2072F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9c3740dca638b0ae627b3d6586ea14e5437b60","datavalue":{"value":{"entity-type":"item","numeric-id":4982104,"id":"Q4982104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fd3cf7c6a82fb3cbd72390a93bc71d0411e889","datavalue":{"value":{"amount":"+0.7872623205184937","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":"Q300555$FFE6DAFD-5D73-4C4A-B24C-3BC13A76F735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f5b8f217dacd021bb952a18fd450d6bc3c89f8","datavalue":{"value":{"entity-type":"item","numeric-id":5395248,"id":"Q5395248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2170f0bc2b1c82344acfb77ed996d35eb3b0b02","datavalue":{"value":{"amount":"+0.7721803784370422","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":"Q300555$3300A72E-8CE1-466B-8613-CEB8358BB042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edff0e30d6458dc59876fc77e0d40c32d2abf51a","datavalue":{"value":{"entity-type":"item","numeric-id":853813,"id":"Q853813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b0abaa3382b276d39b94151856d2e04ffa281e","datavalue":{"value":{"amount":"+0.765536904335022","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":"Q300555$0C13AB8C-3A69-47F9-A41A-8AF3F6EC6C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c8868ce9ea385ab16d856ab9e263fb8266b792","datavalue":{"value":{"entity-type":"item","numeric-id":4789042,"id":"Q4789042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ba07b74ce3ce5d655c86929420a3ce2574921b","datavalue":{"value":{"amount":"+0.7542970776557922","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":"Q300555$D2E11BAF-4E71-48DC-A0E9-11F2BEFCF301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573b018e892218f7b7051a3c5f6421c2f5eda7cf","datavalue":{"value":{"entity-type":"item","numeric-id":4487295,"id":"Q4487295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3563ef0007fe54b54a3d5a4d1946801b74cc5e43","datavalue":{"value":{"amount":"+0.7528073191642761","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":"Q300555$E1022F66-1669-4BEA-B871-37B63DE735A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nice embedding in classical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nice_embedding_in_classical_logic"}}}}}