{"entities":{"Q5096142":{"pageid":7125718,"ns":120,"title":"Item:Q5096142","lastrevid":54381893,"modified":"2026-01-26T17:53:24Z","type":"item","id":"Q5096142","labels":{"en":{"language":"en","value":"A first order logic for partial functions (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571915"}},"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":"Q5096142$DA86D19B-007D-44D6-AAFD-02A5B6CCAF06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87ab6d9d5a79fe23bc9b73ae1d84c68aa287927c","datavalue":{"value":{"text":"A first order logic for partial functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096142$791B1760-0838-40FD-B235-5C5128D3390E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6405faf21e08c7904cd09aa4451c41ecc005f8bf","datavalue":{"value":"1492.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096142$738C7EBD-4C5C-47E1-BDA5-52A0C4238B18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25e0e84d9ea8445ef2a4917026babaccc69212d1","datavalue":{"value":{"entity-type":"item","numeric-id":918964,"id":"Q918964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096142$CF99B719-DD0C-454D-9972-27E172CAB8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79159639be29398efbc624bcc37111244e1667e6","datavalue":{"value":{"entity-type":"item","numeric-id":918963,"id":"Q918963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096142$458322DB-79B0-4DEB-887E-056DDDEB8E2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b060475a421a23318c909b1beea7e63f4d8ea20e","datavalue":{"value":{"entity-type":"item","numeric-id":5096138,"id":"Q5096138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096142$B4EC5A8B-2059-445C-8A2F-8682915218EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096142$0338842E-C352-43F6-B452-09ECA81FF043","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096142$DAD62CED-4364-45A3-80DD-4211BB0D6B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096142$B20E49BA-5E15-45B3-9A30-85BC79628864","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a55432345b2fd3c169d8567aebe6619216858102","datavalue":{"value":"7571915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096142$F1363DC0-33FE-49BD-A71B-E251C4E23488","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa6f50b9700eb4699723de51c40290896f31ee6","datavalue":{"value":"partial function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096142$E05FB008-9095-4C00-9B16-996649609E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096142$D251CCA1-AFB9-4E75-BB04-ADC96EB25EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16ecbaca443a8ea37aac18d70d1c882570c0e4a0","datavalue":{"value":"universal formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096142$F396EC17-BDBB-4137-9A02-9DED4A92C01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096142$40FBBA2C-97F4-4275-AB34-7F49D2009D2B","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":"Q5096142$CBDDFB26-A540-4C63-A337-0DFD876DDAD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474b409a8f3415f67c4fa840940f857e860d83","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096142$5B282675-F0B2-4AC3-85D4-90D716E80294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096142$DBC18409-6D5E-4C84-B85D-ED1BD18E0EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096142$6DF700A5-F08C-48DD-B0B6-7EE9D4A5E7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"affcc40c1f816e117d3a23a609888c2df6d52c00","datavalue":{"value":{"entity-type":"item","numeric-id":1102736,"id":"Q1102736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096142$BA16917F-F11E-4427-83FC-64B86EB0BC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"140c9aac44480bab89ac9b255c4d7eb0098b67b7","datavalue":{"value":{"entity-type":"item","numeric-id":1079560,"id":"Q1079560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096142$459D4106-C564-4F0A-A357-6D36086D6BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7819fc98e58f6a1c5d2d0b94742c5cd4395d85","datavalue":{"value":{"entity-type":"item","numeric-id":3768378,"id":"Q3768378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096142$5552EF8F-9327-471E-B95D-555448E9DF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096142$B5C7F87D-5950-46B3-A501-5DC5F3F7DB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096142$979C80E7-37F8-4DCD-9058-E0F878461E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096142$A5E8539F-CE33-47B6-B334-D7ACCC4FEFFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e9806ffd6101b483889c88be50e711e1825fb5b","datavalue":{"value":"https://doi.org/10.1007/bfb0028972","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096142$97C02C98-3EC2-4774-B0BD-A8E75EEC2A98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"825cc0ef1e6b45f2ea97a74d2676a960572fcac3","datavalue":{"value":"W4206820621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096142$BC10E562-49A8-4335-A355-5E092FB61791","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c65b3eaf5d49c826028bbbf9a3f8ac7ec8a226d5","datavalue":{"value":"10.1007/BFB0028972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096142$DD03FA7E-A9FE-4AA4-BF4A-50BD7CD47086","rank":"normal"}],"P1643":[{"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":"94d8bf8e0f75f91bb093aba644eea60a29575754","datavalue":{"value":{"amount":"+0.9268113970756532","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":"Q5096142$9A082C13-467B-487F-9DE7-7DD653A006B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc68cc3d46dac776e2b85259f27d0f30f32b163","datavalue":{"value":{"entity-type":"item","numeric-id":3358718,"id":"Q3358718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96ca70ed3b7bbb61a8b5ea41d7dbc17478ac1c0","datavalue":{"value":{"amount":"+0.871890127658844","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":"Q5096142$2926085A-A1E2-4E26-BD58-7CC2747F1E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c74bf2b0c7d1a63590adb2435675382a829aa9","datavalue":{"value":{"entity-type":"item","numeric-id":438568,"id":"Q438568"},"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":"Q5096142$B0EE95FE-D6BA-47CE-961D-2AEA6D335530","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":"abaaec90c00d71c99c2cd632b1f5002a06577689","datavalue":{"value":{"amount":"+0.841318666934967","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":"Q5096142$930DE452-AF11-426E-B109-BA89D6DEFF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671ec0799344f16cd6c6d298783843edad6951e1","datavalue":{"value":{"entity-type":"item","numeric-id":963419,"id":"Q963419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abaaec90c00d71c99c2cd632b1f5002a06577689","datavalue":{"value":{"amount":"+0.841318666934967","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":"Q5096142$CBB5D34D-2BBB-4883-BE22-B677AF8164CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096142"}}}}}