{"entities":{"Q5234704":{"pageid":7264272,"ns":120,"title":"Item:Q5234704","lastrevid":94688654,"modified":"2026-06-05T07:28:46Z","type":"item","id":"Q5234704","labels":{"en":{"language":"en","value":"Constructing a normal form for property theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111175"}},"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":"Q5234704$AFB61D82-39D0-4214-9BF0-79C2FA19C118","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"336a7c8ff679e107c9e8b74c00ffb1bbf9004e43","datavalue":{"value":{"text":"Constructing a normal form for Property Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234704$DF787E54-6EA0-46D1-B14E-F4E02BFEC8C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8728bda62b63e95d9b350a8ac5ad7c6ccd49c96","datavalue":{"value":"1430.68396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234704$1987DABB-3636-48CB-8E93-6D6BA8290C97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1b1569206de2cdcb0cf124a9e8f866989dad64f","datavalue":{"value":"10.1007/3-540-63104-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234704$DB6042D3-C1E4-4FCD-A3F9-DCF3CF332FD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd49116f051c9f38e57fa80f56e0327faeb61609","datavalue":{"value":{"entity-type":"item","numeric-id":396812,"id":"Q396812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234704$18F3B392-2D13-4010-8DE4-2AEEFF0FD858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2b694ab49a87e74582cfa716880eae5d3532140","datavalue":{"value":{"entity-type":"item","numeric-id":809620,"id":"Q809620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234704$3270BDA9-FA94-4CB8-B101-8D53A4F73F34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234704$6EA9DD87-EB7A-47E2-9534-1C7CCBF4D82E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5234704$D286030C-D851-4370-9946-9C797B4B5512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234704$4B3BC28B-498E-4A4C-94D2-AB2002E141E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234704$70413352-57BB-42E1-A5FB-EAF9A7DBA281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234704$C1D414B3-3B04-48E9-81B6-C01A89ED424D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c6e281eae6c9e4330f16a391ee0729dba6d69a6","datavalue":{"value":"7111175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234704$154C89C8-A622-4050-B366-BD237ACA86D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234704$0A8807E5-EA6A-427C-B6BA-5C33AA383219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0a59e9d1948bcb3be072d2977517cfc6b207456","datavalue":{"value":"atomic formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234704$EE7B0CA8-7DCC-4C78-8759-1A1E0E78DCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"189255634229e56e4d9265fb45b5601d472be36f","datavalue":{"value":"property theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234704$BB74D34A-43A2-4A7D-B439-6992D69786B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5245dd9eb3255611a23b1a3010f6d2adcff0e2a9","datavalue":{"value":"truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234704$A88CE41C-7D52-4D34-8A05-66FAAF5F74B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5444438f6a03f6b7d005e14d9afbc534f4b6450a","datavalue":{"value":"revision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234704$88AD5268-6778-4D82-9467-B22050451422","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234704$ED9D76DB-67FA-4165-A2E4-97D7C23B882F","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":"Q5234704$399AD9DF-2308-487D-BAAF-521D51DED1DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f00a914036ddc9ac7b479b710b4b9b8dd6e9389f","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234704$E5DFC194-E976-4F6E-9F44-53A1A71FDADE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11f2765f1988de53becd5df783b8cf469f47c0f2","datavalue":{"value":"W1519532391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234704$B5D870AB-A370-4244-B34B-D83442DD2A0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae27d7122ec1a8cf54a2bf44c67ebac4db36f11","datavalue":{"value":{"entity-type":"item","numeric-id":1050329,"id":"Q1050329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234704$5D9DA5B3-C632-459C-AAAC-44C9F69F3CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86702a2c27a2e419f342f805a15c601a0c303b4b","datavalue":{"value":{"entity-type":"item","numeric-id":1891262,"id":"Q1891262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234704$64F38823-FA26-422B-A14E-8E1B4BFB5A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea0581d2439bb289846f7c6b6aca9829dcea6d7","datavalue":{"value":{"entity-type":"item","numeric-id":4040538,"id":"Q4040538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234704$30764AD2-ABD5-4CB1-BCE7-8E10B1590321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e9ce543ef964c36928d3d96b494c3fa95dc7eb","datavalue":{"value":{"entity-type":"item","numeric-id":5437028,"id":"Q5437028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234704$43A548B9-67B8-4BE5-B3FC-452917FF3D43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7e19cc5705353e80c958a588087e9475f3694e","datavalue":{"value":{"entity-type":"item","numeric-id":1891256,"id":"Q1891256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d669c1048465441b528d75784188a8d82e9fa77b","datavalue":{"value":{"amount":"+0.7794355750083923","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":"Q5234704$FB8CABF5-4A30-484D-8A96-4E8DD348443E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38dc4aeab6dac0260fb525910bd5c29dc533d92b","datavalue":{"value":{"entity-type":"item","numeric-id":4821651,"id":"Q4821651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989cc6cdec934e55102f2e9c05e9f622b74b9575","datavalue":{"value":{"amount":"+0.7178220748901367","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":"Q5234704$B110220E-304C-41FA-B931-65A789D03A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8586382f7438a8371cc91965106da6ea1efc8a3","datavalue":{"value":{"entity-type":"item","numeric-id":3765745,"id":"Q3765745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ad22233c7a26c62bed46a56153380e87e7f803","datavalue":{"value":{"amount":"+0.713756799697876","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":"Q5234704$5F879B44-C274-483E-963A-D43C4BBD2766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6cf797f2c6f9fd8edf67e9273bffb1588e51902","datavalue":{"value":{"entity-type":"item","numeric-id":4663842,"id":"Q4663842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed902179e442e47c6116ac59c455a3d7e2ade96","datavalue":{"value":{"amount":"+0.7033524513244629","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":"Q5234704$6B071665-76D0-452E-A3C5-50A9C655B0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055f28aebadc784a7c8dc8747e79488f59fa063e","datavalue":{"value":{"entity-type":"item","numeric-id":4953216,"id":"Q4953216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f918908edf1b7ea9b59f89f6f4377b47d477dda1","datavalue":{"value":{"amount":"+0.699798047542572","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":"Q5234704$F38DC319-C11C-4157-87F2-F196F688D439","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing a normal form for property theory","badges":[]}}}}}