{"entities":{"Q4340535":{"pageid":6370135,"ns":120,"title":"Item:Q4340535","lastrevid":46553958,"modified":"2025-12-25T00:43:22Z","type":"item","id":"Q4340535","labels":{"en":{"language":"en","value":"A Finite Axiomatization for Fork Algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1019585"}},"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":"Q4340535$C5C24DCC-6E0E-4A8A-9FE0-85B97E43B3EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23a0752d1e20958392e25345e3f8bb88fc8f299b","datavalue":{"value":{"text":"A Finite Axiomatization for Fork Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4340535$91AEB445-C880-4189-8EDB-8D3297E9B7D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c6ae5a13fca6c876c43625fe16d99d436abe500","datavalue":{"value":"0873.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340535$80D3C26D-2778-4471-822E-DB84E3E2D71E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ab39f1ddce3e53036f0100f9d05c9d58beb0ae","datavalue":{"value":{"entity-type":"item","numeric-id":3146902,"id":"Q3146902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340535$D8A8C0F2-F3DF-4434-9E7F-D318225EF85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a0575b8eb6875bc19d641657dc040c833def514","datavalue":{"value":{"entity-type":"item","numeric-id":1276500,"id":"Q1276500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340535$762A0934-6941-47E7-B02B-ECE4FF45F975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340535$9B7C2B8A-2802-498E-B958-0406C0C01FF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412f7a31e42853d129270920f950562a85c36f4d","datavalue":{"value":{"time":"+1997-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4340535$EDAFA9D5-12B0-4C31-8BFC-0597A0B459C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340535$5D3E5CD2-7710-4036-8205-5A3946820DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340535$F9D9CEB2-989C-4E97-9B1D-A3BC2D31DE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340535$059BA7EC-3FF2-4B02-9851-AA8250DD7CE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5e0e5dd411d5b1395eca78e428eea13333ea1af","datavalue":{"value":"1019585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340535$A7ED23B1-12F0-4E5B-9025-C4BE9DAD0F51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340535$7B182FDF-3C34-4819-B550-7D639C24E5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340535$9CCE90A7-26A1-4902-8C84-3887BA19DCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b8bf99c129c5d372ebfcbe67da59113108759bd","datavalue":{"value":"fork algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340535$126FB94E-D1B4-4E72-9505-F61F7708473C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ea33270cdf08c3618056d89d5c52f4988f48e0","datavalue":{"value":"deriving programs from specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340535$ACF4E143-821C-42F5-AF86-274B28C83FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b111c36d6d988a197089e1477f96c0e11350f4e4","datavalue":{"value":"representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340535$CD3B42F0-2E17-49E0-A94B-F66E6F5614E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e285fdb4a226db51d641ea571f2188df40afe59","datavalue":{"value":"finitely based variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340535$8AF24A1C-5C8B-4DF7-B5D0-EF3A6231F5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9237caeb1f91e6d219c15d68a87089dbbbbea944","datavalue":{"value":"proper abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340535$CEFBC654-FD65-42CC-A83C-5B2976507101","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":"Q4340535$B3BD243D-BD0B-4D9A-9C7D-13DEC8E7EAC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac7d11d1455b2709e9851494426902e23a36f317","datavalue":{"value":"https://doi.org/10.1093/jigpal/5.3.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4340535$AAF73970-6CD1-406D-BFD8-5935B18DC1A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cf7bad9243927a326270873716ae09bc691db28","datavalue":{"value":"W2062980567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340535$42491304-2844-4610-8473-4911E188FD0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6774c8b1a9d6435eeb3d93e12c2e9803240ed807","datavalue":{"value":"10.1093/JIGPAL/5.3.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340535$5182CA56-9F82-4366-88C0-4B723CEEDAE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340535$49BAD203-DD1B-4CB8-B026-BEE05D5B4DAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d11fadc91fd3a79cc6e0d9d346310b86c43b32","datavalue":{"value":{"entity-type":"item","numeric-id":4870557,"id":"Q4870557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f050a5c898e5cc0d807a93cb626100a1f934e453","datavalue":{"value":{"amount":"+0.8677289485931396","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":"Q4340535$665FED34-3E28-4CCF-9761-C0DFBAB0A895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04cdd0cc34f40fbbb01744a5af388d78a406c51d","datavalue":{"value":{"entity-type":"item","numeric-id":4362877,"id":"Q4362877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3b8d7a63240b648a413e54aeed5db8e7a599c4","datavalue":{"value":{"amount":"+0.839583694934845","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":"Q4340535$4D7634C0-5BC9-40B7-BB47-7F1C084D38D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"548775a7d2310cc8a9717025416c149bd48ecb79","datavalue":{"value":{"entity-type":"item","numeric-id":4383700,"id":"Q4383700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eede1a34058a8917f826945299dbbea5eeef89ba","datavalue":{"value":{"amount":"+0.7958118319511414","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":"Q4340535$446EDCD9-5D1F-4B8D-9673-2477273B0901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bcfa9a11007ee474b9817863c269f0a1eee92ba","datavalue":{"value":{"entity-type":"item","numeric-id":4381704,"id":"Q4381704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123c70fb4c37de2fa6bf2698162c55ef67d7aba8","datavalue":{"value":{"amount":"+0.7954438328742981","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":"Q4340535$B124CDD0-299F-4AD7-8E47-EE2D10EDF1E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4340535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4340535"}}}}}