{"entities":{"Q5234720":{"pageid":7264288,"ns":120,"title":"Item:Q5234720","lastrevid":94688780,"modified":"2026-06-05T07:28:47Z","type":"item","id":"Q5234720","labels":{"en":{"language":"en","value":"RALL: machine-supported proofs for relation algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111189"}},"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":"Q5234720$DC0A1A8E-7DC0-4777-9A55-0EA9FF1D17A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a7235ef5a3bea783a10bd6b91970dece1b9516b","datavalue":{"value":{"text":"RALL: Machine-supported proofs for relation algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234720$63D9C593-7918-4764-A31E-4EDB274719BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bb94c61004d4e06b4390d8cea846089ca031109","datavalue":{"value":"1430.68425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234720$031E2518-AB77-4A37-904F-ACEE70EF9E8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ae2acbe63dbbaa775e14752217872ca0b8cc1f8","datavalue":{"value":"10.1007/3-540-63104-6_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234720$20A3C412-3850-4419-A741-21B1BED0D5AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"922ae95e156193bf43196b5e76a08bd2cb8e81fc","datavalue":{"value":{"entity-type":"item","numeric-id":2752049,"id":"Q2752049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$08754760-89FB-4D50-ACFC-E84534F9F318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba800929c1921bb2336f04dc0e959bd503d4517b","datavalue":{"value":{"entity-type":"item","numeric-id":1350499,"id":"Q1350499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$8DA8227B-6DA0-44B1-99FC-1CC63D528554","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":"Q5234720$2D6FE158-12F0-4701-AB02-3DB8131007DB","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":"Q5234720$9876448F-BA56-452D-979B-1485B796A3D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234720$C3BA6772-CD0A-4F82-BA4B-25899F7A9913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234720$4DE6432E-E8FB-4CE9-AF46-B2940D43AB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234720$C1F95729-73FC-4F2B-BA9F-4A86E512AEE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66e9827ec7697ae2a66ca0b5a1e8cdc555b4b89b","datavalue":{"value":"7111189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234720$0FDAEA8B-E5E1-426C-9F4E-D4614205A0C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234720$F8D93E99-BCC9-4DBA-A1B3-7F266655CA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234720$7C1A0C67-B42F-4EB8-896D-553EA0DA7B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2a33e0cd630743c9abafc3b1b743107e0e28a20","datavalue":{"value":"interactive and automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234720$BCAA0C04-B286-456B-BE41-72248955D787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90868494d3845bdd4ae18803712211188ae570f4","datavalue":{"value":"atom structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234720$D93D8C36-FA27-4FB8-954A-AA41B0A3B238","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$0AA5017A-839E-410D-876A-0DCC5F868EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$54DEECC5-B4F2-4BAB-8A7C-FA33268B9C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0b3613afdea99b20a3156b582c84af8424d5eba","datavalue":{"value":{"entity-type":"item","numeric-id":20514,"id":"Q20514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$CE140A32-7E80-41B4-9778-35375140AB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2edca26d2a43ed58e18d7519ef02d4b0b58e9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":20512,"id":"Q20512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$44F52311-AABE-43BB-BE56-491C089CFDF8","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":"Q5234720$A17BD5C5-E78C-4C87-84A8-BC392D1F43AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba4f3f3ed8b16ef85a33f9f44285f3c41b3fdf4c","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234720$61F76B6D-52CE-4A38-8789-C7460D164C52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a3f266f80653db80e222e9dd08d1892038c029c","datavalue":{"value":"W1503466517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234720$67618E23-9931-4EE0-82B8-AD649941C81B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a034ac2723712a0707ef5d58960560ec3b0d57","datavalue":{"value":{"entity-type":"item","numeric-id":4273429,"id":"Q4273429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$714AABB0-9F44-4BB5-A4C2-9ABD4DFF6AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$8F39EE6B-0139-497E-9A9D-CF4F9C77F904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e8a7f3e5c1edf4423142601c5ff9a7fbc17795","datavalue":{"value":{"entity-type":"item","numeric-id":4338907,"id":"Q4338907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$91095D65-1298-483E-9278-B981034DC5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$2B6C36DE-DD43-4C5C-B076-BDAE0406E4BA","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":"Q5234720$F42752AB-7D05-4D85-8F78-17A483CF6A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$18FE35F5-28F3-4049-9F74-59B52E13083D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d54367bf7253c792733235aed9ac892d77ba1b","datavalue":{"value":{"entity-type":"item","numeric-id":1302221,"id":"Q1302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$9CA13C6F-33C2-4D4B-B71E-686BE9897350","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":"Q5234720$1AE06C91-3990-45FE-AA9D-02440EF39D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8361fdc8ecf2d3b24d04b76e52798969e4b254f9","datavalue":{"value":{"entity-type":"item","numeric-id":3708022,"id":"Q3708022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$C5BE47D1-41DE-4F91-B96B-75D352AD1E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d120742af8436a54e9c640ab06706d350dfdb2b6","datavalue":{"value":{"entity-type":"item","numeric-id":909488,"id":"Q909488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$CA7D52A1-0071-4EB8-B6C2-A70485FB4A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79bec5aa6e17254ec8b6363d9b644acdd6e50969","datavalue":{"value":{"entity-type":"item","numeric-id":1129415,"id":"Q1129415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$A881D60B-2639-4D63-BBEF-B2FFB22D386C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a1501b7f5fa92aade22add960dc64ccddfe117f","datavalue":{"value":{"entity-type":"item","numeric-id":4318835,"id":"Q4318835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$93BCDC09-F561-497D-A864-BDD5A4C67122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$4BC897F8-789D-4FFB-986D-C2A32231952E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e052dc0eb54a8a79427ec9d552810f9a6de125f","datavalue":{"value":{"entity-type":"item","numeric-id":4113375,"id":"Q4113375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$40ECC50D-2626-479B-8988-4B5BA8B8EF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$AFD059E4-DF01-4691-9050-F19D8D0D9FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234720$F8026B14-2D9E-4891-AE8E-3EA465BE4594","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a13efb3b5dff20960925457086d5e64ebcdcc42","datavalue":{"value":{"entity-type":"item","numeric-id":3541686,"id":"Q3541686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7acad08f19b5f6c8fc47929e3a4e505c9866f21","datavalue":{"value":{"amount":"+0.8107943534851074","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":"Q5234720$D37D2432-77D9-40BF-B96A-AAA66FD88CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a925d5682a03a387fa0c32bc9d5c04595971a23","datavalue":{"value":{"entity-type":"item","numeric-id":2723418,"id":"Q2723418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4c7b7f4baa8597fe9576c5d30fe3e26497988f","datavalue":{"value":{"amount":"+0.8104971051216125","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":"Q5234720$2D190567-7482-4D51-A9D2-9952AD689A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353bddc263192ea6c66cc0e0a6b7975b822ee61f","datavalue":{"value":{"entity-type":"item","numeric-id":4246973,"id":"Q4246973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e9cb8ef5ac4695faa556a049ecd0a282a55bca","datavalue":{"value":{"amount":"+0.8067455291748047","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":"Q5234720$3A559AE2-FBDB-4B61-83D0-01E763044ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f3050b317e347f95916ef9d95f017c7c95f5a3","datavalue":{"value":{"entity-type":"item","numeric-id":4835905,"id":"Q4835905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e9cb8ef5ac4695faa556a049ecd0a282a55bca","datavalue":{"value":{"amount":"+0.8067455291748047","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":"Q5234720$A7C76221-F553-4FD9-A77F-E3A0B32AD5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99bf790ee0d52a619cd0bc9799eed09101ace801","datavalue":{"value":{"entity-type":"item","numeric-id":3007567,"id":"Q3007567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1067a9261415126e0eb5a346e409c57942f53aae","datavalue":{"value":{"amount":"+0.7705814242362976","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":"Q5234720$0680D14D-F748-4CFD-9BF0-F4A66EBCDCCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"RALL: machine-supported proofs for relation algebra","badges":[]}}}}}