{"entities":{"Q6558048":{"pageid":14169203,"ns":120,"title":"Item:Q6558048","lastrevid":95801696,"modified":"2026-06-05T09:47:47Z","type":"item","id":"Q6558048","labels":{"en":{"language":"en","value":"Relational calculus as a formal system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7867692"}},"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":"Q6558048$9D295BCE-C59D-4F4B-99F6-EA873FD2C561","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e94e0a0961139cd39c7c9cca5f5f30c0b1b60efb","datavalue":{"value":{"text":"Relational calculus as a formal system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6558048$1760A0CB-4783-4307-BFB2-BA5ABEFF11CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fce023070e0dae8783ae87a5fab4f5449a7eeff","datavalue":{"value":"10.5109/7170241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558048$14027706-CEF2-40C6-8B1E-1EA790E85E21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c3d84f8511146fd9f672efd56070c60827c0c1f","datavalue":{"value":{"entity-type":"item","numeric-id":406459,"id":"Q406459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$BAE60E58-6159-4DC7-8F6A-120467C238E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"820f1fcdc41756af2ec30edf712a6c935666941a","datavalue":{"value":{"entity-type":"item","numeric-id":2844156,"id":"Q2844156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$796E2558-DEE1-40CD-B4A8-D3077162D127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b61c76c7b3527a3b135cd1d5c3feb577e0722a96","datavalue":{"value":{"entity-type":"item","numeric-id":406460,"id":"Q406460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$12779415-7120-4499-AC6B-A3627A5F3092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af388f39c5c2952f54e11ad8e97341fe80a77bb9","datavalue":{"value":{"entity-type":"item","numeric-id":491156,"id":"Q491156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$27C00482-29F7-4F63-841A-2A5A86143776","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"552a92a731477719bc06c8c1eaa310bcfae10a60","datavalue":{"value":{"entity-type":"item","numeric-id":6558047,"id":"Q6558047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$C117B419-8EDA-4942-A0F3-5294D31673D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42abfce89b1423fa7cf41a79fedc46406f32c813","datavalue":{"value":{"time":"+2024-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6558048$D3611E4E-FC51-4898-8945-9DFF9DFBEF3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"923277c2ca15164b9d1e9edd451ca037b356ac9e","datavalue":{"value":"62-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558048$4B14A03D-56A9-4000-A9CD-CBE64C2512DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558048$3708BB53-EB65-4260-8E1C-5C2561C6A015","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dd2b85ea9f4ffb5a351b23a5b24e2c120393a3f","datavalue":{"value":"7867692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558048$E13CBE1A-318C-4088-BCEF-BDA1A16DEB34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6558048$DE960F3E-5E36-4497-80D8-1747BC63C3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6558048$40839271-FF77-48A4-BFE8-F6BC5541BB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cff52f1f8df429852ad8af8776d8a3d505548d","datavalue":{"value":"relational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6558048$3462FBB1-7D4B-4BE1-A636-B108D003114C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db63b5018566dea694cd8aba406868a694088162","datavalue":{"value":"de Morgan-Schr\u00f6der equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6558048$5E82BDC7-AA8C-4555-A210-973F643AD465","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":"Q6558048$E4CAF795-B15B-456D-8440-B86005579C17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c29cc8cb2b948caacde26d206c485879a0cbe8","datavalue":{"value":{"entity-type":"item","numeric-id":5722776,"id":"Q5722776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$ABDD1B81-7F32-458F-99EA-A98C10B65337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$99BC0245-2F54-4272-895D-A23B7E3D4B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64cd3f59635eb980a8d704a99384678032ed5330","datavalue":{"value":{"entity-type":"item","numeric-id":1957983,"id":"Q1957983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$C30068D8-CA2C-4013-9231-0B3152B260E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$4F0096B1-63A2-49AB-8B1B-EAD704BAFA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b98949bdea407f97d819edd0e140250ad36b28","datavalue":{"value":{"entity-type":"item","numeric-id":2915152,"id":"Q2915152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$EA8E3F44-8BCD-4519-8E0F-0A7D735E485B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f742c83b2675b357acfab9260dc81ed8988bb","datavalue":{"value":{"entity-type":"item","numeric-id":4230685,"id":"Q4230685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$D8C44360-C0B4-43C4-8BEE-4EB7D0450F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5620413217d8e07a62deab92fb58bbd2ca1e9f21","datavalue":{"value":{"entity-type":"item","numeric-id":3740201,"id":"Q3740201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$28572D1E-FCBD-4015-B524-B8A9F0C23CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe43f8ee3da5f5771d52de00bea9146672c1f6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2648517,"id":"Q2648517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$3B2E0D11-644E-46BB-9432-C368DD014F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$BCD1F795-478C-48E6-A009-7B1E73F28D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b550ce4d0b83c9783886c64309d247ef6f3d6d12","datavalue":{"value":{"entity-type":"item","numeric-id":673789,"id":"Q673789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$D472AD65-D53A-4D63-981B-CF8BD79114CC","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":"Q6558048$5AF1CBCB-B6EA-442F-815E-38C6AA24DBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2ac75ed34098c47b220abdcf4ac4bea362d934","datavalue":{"value":{"entity-type":"item","numeric-id":1524493,"id":"Q1524493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$0628C209-5BED-4957-B1E2-884149A5131A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$CA0E4AEB-81AF-4BFD-B1F1-8A4BDA5A6176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c2b438ff41595a3ca675f4a06f2dbbf97d0cfb","datavalue":{"value":{"entity-type":"item","numeric-id":2585204,"id":"Q2585204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$0F15883C-87F0-4412-A7D1-37097B6CAD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e53aaca4f42b4c0d3e5f96583dc4ec11cc373f","datavalue":{"value":{"entity-type":"item","numeric-id":5098730,"id":"Q5098730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558048$963EE4C4-EB4E-4347-AF38-5C66B311615A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational calculus as a formal system","badges":[]}}}}}