{"entities":{"Q438568":{"pageid":440335,"ns":120,"title":"Item:Q438568","lastrevid":61924680,"modified":"2026-04-11T02:35:16Z","type":"item","id":"Q438568","labels":{"en":{"language":"en","value":"Classical logic with partial functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062060"}},"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":"Q438568$89999D7E-34B2-4BB3-ABF3-E6673E6BD443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21c7093fa4b5204aca1231fd32a23fafe71674b8","datavalue":{"value":{"text":"Classical logic with partial functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q438568$79B88F2C-BA2B-4363-A349-04B4C9A3648A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aeb187ab7b3e92782a30490f34a4a20971b8899","datavalue":{"value":"1259.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438568$8AC7865A-9C27-4060-B48C-280887DCAC52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af7e025189305bad11f686c710fe3b187470eaf","datavalue":{"value":{"entity-type":"item","numeric-id":438567,"id":"Q438567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438568$99AD8332-48C5-4B46-8094-AFBCE4C4408F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438568$961DFFC6-5346-42A6-B72D-9F196AF6CD11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c7ad691786690cf86127845d28cf47311748286","datavalue":{"value":{"time":"+2012-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q438568$889B1DD4-102A-4D53-B8DA-6D95866AE025","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438568$3C21CDF9-2E5C-4E06-93E6-F69989B86089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438568$C55C7CB0-8388-492A-884E-D9DD1929CF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438568$98E22817-C1E4-45A0-8C72-A6F8D81A55B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438568$9393A2AF-7BFA-4558-9F60-80D106740C71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84dd86736dc89c2cfb9048ccbc2d45361fbe1972","datavalue":{"value":"6062060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438568$DE3F29AF-2728-452F-B619-9B6864BDDDD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbd924e5771865ceeb77c5e09e583fc37c0e0ea","datavalue":{"value":"logic for partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q438568$F2F4ECD7-BCCE-43D3-B235-5AD73E751150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q438568$4F076C3F-C4A2-47BD-A171-2AC8FDC01AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b123b6181d3308117f8b8ff007e329ee0f18ed","datavalue":{"value":"multivalued semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q438568$A03B4B14-8206-4833-B9E6-81291BDDE5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q438568$7399C3C1-66C2-43A0-85D5-3AAC07968A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q438568$219C52C7-7BA3-4362-A22A-D1CF959F75AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0534146a05d73e3a999d0136f095b224ee22879","datavalue":{"value":{"entity-type":"item","numeric-id":33156,"id":"Q33156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438568$6551ED8F-BE0A-427D-B106-9C684426F098","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":"Q438568$C317A0F0-C456-42FD-9EBD-8B6168172474","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"545eb327f1a45cd8e3dd1d50b272b6179b51c2f9","datavalue":{"value":"https://doi.org/10.1007/s10817-011-9236-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q438568$F714AA42-72F8-4F66-97D7-5CB89E4DC32D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a556422eae63d048ace2000b016ec43244f36415","datavalue":{"value":"W1999732797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438568$04D96224-27C5-4C9D-B2A2-AE54A48DAB66","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbf516d618c4e40e5cc45192848e3901d56db66","datavalue":{"value":{"entity-type":"item","numeric-id":2848053,"id":"Q2848053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438568$25767F38-718A-4129-9B6C-561700EFED23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a238c97af444d7030d9c60f3fd9de10604a34b4","datavalue":{"value":{"entity-type":"item","numeric-id":3541692,"id":"Q3541692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438568$AA6999A8-5945-4298-8AFA-AEB8BAC3A2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75bb2387b9dd98e8fe9d0e843f2c83368a8a4426","datavalue":{"value":{"entity-type":"item","numeric-id":1840647,"id":"Q1840647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438568$80CC3248-2E13-4427-977F-55245016AFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438568$64EDC529-C23A-4B8E-A927-D6AA05FCDC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a9f6f3e4ca1c5d6361225c9807c1701d5a644","datavalue":{"value":{"entity-type":"item","numeric-id":5703738,"id":"Q5703738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438568$B2540677-A6A2-495C-9507-376E29DC52CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7b89d341162c391a097fee7e4bf21bb2addc4b","datavalue":{"value":{"entity-type":"item","numeric-id":5747762,"id":"Q5747762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438568$8BD37A30-E440-4D3D-8970-B05BFEC3F622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf54fd52b3ae148a01d4229df0c1b5a1e68af7f","datavalue":{"value":{"entity-type":"item","numeric-id":3613415,"id":"Q3613415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438568$5CE28826-4938-47C9-83B1-A1FC830BC90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5a52049791eff1e794bc7bab216824fc094503","datavalue":{"value":{"entity-type":"item","numeric-id":3866101,"id":"Q3866101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438568$1D138D6E-6968-4B40-B4B2-BCBE1FEA3A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438568$9A49B024-8D46-491A-9104-89E45DBF0358","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"345a6fb6c10fc07512c48b21f8a180279255ea53","datavalue":{"value":"10.1007/S10817-011-9236-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438568$77AA0E73-BF84-4E9C-9978-DF9FA78FC5B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc66ed67c62e2b2f3b46db286f6de8506c31d399","datavalue":{"value":{"entity-type":"item","numeric-id":5747762,"id":"Q5747762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd36e80f37ed8f9ebc65c5b6d504ae1687bee81","datavalue":{"value":{"amount":"+0.9441378712654114","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":"Q438568$592DD3D8-B59F-4515-855E-2605BFB1098F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4e2643c8d219f6a262b2a94612ddef7a7ab0cb","datavalue":{"value":{"entity-type":"item","numeric-id":1261311,"id":"Q1261311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9999000b2273f6043577ac7aba16913c4eebe7a","datavalue":{"value":{"amount":"+0.8544985055923462","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":"Q438568$3EB8B246-8787-4708-A268-DE38A914601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592523ae07be0db4bf1f4af197fc788da1355b4b","datavalue":{"value":{"entity-type":"item","numeric-id":689211,"id":"Q689211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9999000b2273f6043577ac7aba16913c4eebe7a","datavalue":{"value":{"amount":"+0.8544985055923462","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":"Q438568$96E945BE-228D-4A7E-A168-8739B5E1C680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43dbe1520a1337ef3145fb25110ab262401fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32bacb8dcc42755605f9d9564b72dee276dce6f","datavalue":{"value":{"amount":"+0.8443670868873596","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":"Q438568$8633D6FD-3289-4BD1-9F66-C2C5CDD64D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f03018ffb0078204fbf896197965deeaec28d9","datavalue":{"value":{"entity-type":"item","numeric-id":918965,"id":"Q918965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e30889d277038e612f3dc0ed6d2f887cc60968e","datavalue":{"value":{"amount":"+0.8361534476280212","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":"Q438568$EC591BFF-DEEF-4E20-B0A5-2BE02991E86B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classical logic with partial functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classical_logic_with_partial_functions"}}}}}