{"entities":{"Q3032234":{"pageid":3042950,"ns":120,"title":"Item:Q3032234","lastrevid":49341613,"modified":"2026-01-07T00:06:39Z","type":"item","id":"Q3032234","labels":{"en":{"language":"en","value":"Near-equational and equational systems of logic for partial functions. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130354"}},"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":"Q3032234$1F31EF4B-3F3F-489E-AB55-AA9DA5E36D66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae62ea8f9587f8f80566185d75d7d3240cf5ff5c","datavalue":{"value":{"text":"Near-equational and equational systems of logic for partial functions. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3032234$BAD3CAB5-DEFC-4A3C-8980-305D9E1130C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8beed31a28fa153db31b2171040b5e537ced2b68","datavalue":{"value":"0691.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032234$D78C92C9-FDF2-47DC-AD29-3AFFD7F97CC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f0ebbbb70f869edcf5cee450c45cf7e5f2027e4","datavalue":{"value":"10.2307/2274743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032234$361818A9-CF5B-4286-AE75-701CF451DD58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032234$A7F29E28-1F8A-48E4-85B6-E1D53BBC0AAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3032234$480D0A0D-C27F-4560-B16A-F133D827CACE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032234$0340D878-91A1-498C-A8D4-DB35064E5075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032234$423E48CC-7DAF-4EC8-8F18-D072AF0E1AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032234$043478E2-C2A2-4AF1-B0D5-062FFD401C6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5c89b4ff099540072199c0aec635518d91c0fc4","datavalue":{"value":"4130354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032234$96CB3CC6-A7CD-4660-A03D-4DF3D534EB3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e5bceac265defc25110178217a506fba56e2a1","datavalue":{"value":"extensions of equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032234$ABC410EB-EC83-46CD-8A26-C97F54AEB9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e978b5134aeb272c82a790b22e3ef697390ca350","datavalue":{"value":"logic of partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032234$F361C6BC-70B6-4D4E-8B8C-19ED1A440D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7464ffcca8aef98083963702194da926e2433539","datavalue":{"value":"equational extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032234$1ADA3FF6-47B1-4E4B-A555-C58AF671DC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2fc1f28269f9a66ea9104a96569e83afd65680","datavalue":{"value":"near-equational extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3032234$8F579832-D55E-451C-9A64-293D2DAD0C1C","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":"Q3032234$5B6BC151-0EC8-46AB-9DB1-EA7F68940DA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e35098e28b43d481815c696617ed28e408596fbb","datavalue":{"value":"https://doi.org/10.2307/2274743","type":"string"},"datatype":"url"},"type":"statement","id":"Q3032234$3C23C794-CE82-4687-9E90-5BD563A8EA10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63d1f31c60576495c195c7b140fffdd9749ca358","datavalue":{"value":"W4238461530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3032234$A3C98CCD-59DE-43DE-83CC-E7F42D10EF51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b507dcb1c1074a544c66eed76e4b2adfac01607","datavalue":{"value":{"entity-type":"item","numeric-id":3967510,"id":"Q3967510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032234$44BC9584-3078-4777-B79B-9792EC55ECDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032234$AC37FA8B-6941-43CB-9D3E-4CF3F298F857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e9a6be1b5191961a72bfc3e566efae6e25eb9f","datavalue":{"value":{"entity-type":"item","numeric-id":1838960,"id":"Q1838960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032234$A1E3AF54-0768-4007-900C-DBDDE749E053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c442af5ab1071fe049c433e6a80c9003528e8a43","datavalue":{"value":{"entity-type":"item","numeric-id":3813851,"id":"Q3813851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032234$D34F1717-A5D4-4CBC-8032-5DB79B240E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f3c5bd907b0239cf6ece7c49f3093df68aa600","datavalue":{"value":{"entity-type":"item","numeric-id":1237064,"id":"Q1237064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032234$20EA8F65-BEB6-4986-9EDE-5E5880717ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032234$CFA22CFE-F8E6-4027-BC0F-17B765D87E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd6d36c5dedc916333dae1a87a1194bc650cc9b","datavalue":{"value":{"entity-type":"item","numeric-id":4759224,"id":"Q4759224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032234$F1A986BC-EFAD-42EE-B89E-09FD1DD34BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047801a3eb9db5343f4e4b583e26c5eafb278e8c","datavalue":{"value":{"entity-type":"item","numeric-id":1054760,"id":"Q1054760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032234$A58A5B91-6C9A-4F4A-9ED6-4DD080381985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00dd4766c9807e174232a37c19c6c5d60ac971e3","datavalue":{"value":{"entity-type":"item","numeric-id":3478389,"id":"Q3478389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032234$95D4E970-1DCE-4766-893A-C30ABE287DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54fdc37529776f16d81d6d924d1dee0f125b6c94","datavalue":{"value":{"entity-type":"item","numeric-id":1107515,"id":"Q1107515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3032234$B93055FA-814E-4A41-ABBD-88BF6DC3DAD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d37550293b3eb375d97975d6d683471369a4f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3203006,"id":"Q3203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d54fb0822924d2531fafb21b0aa89705de2d201b","datavalue":{"value":{"amount":"+0.9142450094223022","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":"Q3032234$128E2703-7847-46BB-82C6-3D057D204E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e0626ad621832850e5d217bae1fe537e13df7a","datavalue":{"value":{"entity-type":"item","numeric-id":3835445,"id":"Q3835445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779507f661a6f761cb973357eba55cb50b0a8b63","datavalue":{"value":{"amount":"+0.9095894694328308","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":"Q3032234$6967328C-4EE7-42E2-9F96-7A7782F95F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6675a8677c1689199cd1ca719e30be2b4a201317","datavalue":{"value":{"entity-type":"item","numeric-id":3813851,"id":"Q3813851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85ad14bb923f61e7ce47b07a7ff6cbd77c9a598","datavalue":{"value":{"amount":"+0.8300090432167053","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":"Q3032234$EB4FD9FA-05FA-47BC-9AD6-EFEB0FA7EC04","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":"00c6729204a44752d7ed122cd731cc9125a65c01","datavalue":{"value":{"amount":"+0.8156332969665527","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":"Q3032234$A9549FB8-F105-497E-8885-1EB32A4E5BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c4b8fd3cd9481f1c76f7ddbe44a1c4a3be80ca","datavalue":{"value":{"entity-type":"item","numeric-id":3478389,"id":"Q3478389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e96681cf06ac00b25ad734399f2379e71347d096","datavalue":{"value":{"amount":"+0.8057629466056824","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":"Q3032234$AC9E5B75-E79F-4D88-ADFA-4F5CD4D4D6DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3032234","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3032234"}}}}}