{"entities":{"Q7323652":{"pageid":31355110,"ns":120,"title":"Item:Q7323652","lastrevid":105121882,"modified":"2026-09-17T13:17:32Z","type":"item","id":"Q7323652","labels":{"en":{"language":"en","value":"Abstract, compositional consistency: Isabelle/HOL locales for completeness \u00e0 la fitting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8249885"}},"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":"Q7323652$0E435739-2CC1-44FD-A532-67752E0C39F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5643ae29a1db0e22bf48309e355c2b7addd5252b","datavalue":{"value":{"text":"Abstract, compositional consistency: Isabelle/HOL locales for completeness \u00e0 la fitting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7323652$D5D56859-9A43-48FC-AFDA-B40A5EF500D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b83e9b3edcbcf6203526bf78ad4457b427c63c4","datavalue":{"value":"10.4230/LIPICS.ITP.2025.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323652$E2D8116D-3474-4BE4-A322-7360E0305074","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b28ef1f69804175267e0c47b9aca79300dfa007","datavalue":{"value":{"entity-type":"item","numeric-id":2096469,"id":"Q2096469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$BD6AA49B-6FED-496B-B0EA-BE0CF458960B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e62085f18fee17b0db8da8d8ee5d2427f90091","datavalue":{"value":{"entity-type":"item","numeric-id":1663241,"id":"Q1663241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$B1164433-45D1-41F6-B1AB-BD9B38E36138","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327bdfdabaae2e8cbc884e8efa23d5004f5f8802","datavalue":{"value":{"time":"+2026-09-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":"Q7323652$7088DC12-C34C-4DB1-8DFD-7FABEC9701B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323652$875B7479-436B-4DB3-8B14-AA3D996B15FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78bfc1a317d545569411b00498923ccb7a9446a8","datavalue":{"value":"8249885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323652$46FC7561-23FB-47DE-A774-E0B389CADDFE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$FA95B4EB-DBAF-4DD5-A2CC-84976E3A80DD","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":"Q7323652$DBF4DF1F-5837-4E55-91F9-92D7CD32868B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$C5CC88B6-6263-49FA-9535-B33D14D3E9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$8BEB4A4E-B6CA-45BD-9262-4BF16A700D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9710b51c249cea45839c57254723bc4c225c3ccb","datavalue":{"value":{"entity-type":"item","numeric-id":6993438,"id":"Q6993438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$D045382A-E0E8-4014-923B-EC07AD357B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$8A680AB5-EAE4-4AB7-B89A-122143577815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d993f7be3ea77cad4a800be898a39b5ce70ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$7B3C711C-C211-4857-8A5A-6BBB62596E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58408ebe2fe345e1f57abaff5f1bf53e4bceefb3","datavalue":{"value":{"entity-type":"item","numeric-id":2879247,"id":"Q2879247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$AD7EF001-55D3-4269-9F5F-6BBC81520E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac39b9a75827004294f51289a3c3e79253c87a2","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$A5B43A89-F405-442E-BD3A-12D9B4179C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a8078cd37e261a0989a85da3d6b72e3d7a45d46","datavalue":{"value":{"entity-type":"item","numeric-id":5094472,"id":"Q5094472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$F9232B24-255A-4D43-B434-54A1A11186C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0045e5b94ed384b2626905e61efa9c3bff30967a","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$2A61352A-E233-4362-B580-57A343A8A5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a084492b6c511dc051f5e0b718a2fc1f4adf14f1","datavalue":{"value":{"entity-type":"item","numeric-id":4774043,"id":"Q4774043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$59F93832-039C-4331-834E-6A6AF77507A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$4E3FD681-0FA4-459F-9A89-93E70DF790C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9aa909a5f3ff0abcbc69852eb1a775aad8fbb1f","datavalue":{"value":{"entity-type":"item","numeric-id":5955624,"id":"Q5955624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$44E3B551-2227-4650-9AED-070C66D7E49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c53ab317b937f47c652ea98fbe9b5efc7787ba2","datavalue":{"value":{"entity-type":"item","numeric-id":7232182,"id":"Q7232182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$90FD24C2-D96B-4926-A5BF-BCFDC89C2546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64b9aa7dcf93e4b9087aea367b4afd4083aceee","datavalue":{"value":{"entity-type":"item","numeric-id":6611963,"id":"Q6611963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$DA9714DF-0BE3-45BF-A85F-55730369C4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f21b943eb09c69ad5b39230e5431ce1253f81d","datavalue":{"value":{"entity-type":"item","numeric-id":6582088,"id":"Q6582088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$1C1FC416-9E9A-4BD0-9A44-51AE101FE25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205fc50b5519f69b83835852ede0d50684c7d19b","datavalue":{"value":{"entity-type":"item","numeric-id":4247076,"id":"Q4247076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$D9B202D8-0B63-42F0-A2D7-095822564178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2f0767e51f50b9b68b6184d596d3732b0df77c","datavalue":{"value":{"entity-type":"item","numeric-id":4897039,"id":"Q4897039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$A2965D08-0023-4C0F-ACF3-78B60C4107B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7ff6574d6602abda02e69adb36efe4fd8cd635","datavalue":{"value":{"entity-type":"item","numeric-id":6156642,"id":"Q6156642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$2C007367-7C36-4C96-A705-A7FB1D5D7A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74ac73f5e106ca7d54a88e7f8b18660338f44d9","datavalue":{"value":{"entity-type":"item","numeric-id":6610633,"id":"Q6610633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$54ADC831-30EB-42A0-A04E-F281602A4366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b659b1f6009ab3df1cf8432adfeb1aaf4fe4f69d","datavalue":{"value":{"entity-type":"item","numeric-id":6060676,"id":"Q6060676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$B097CBA3-0A8F-4A64-92CF-FC5B28745AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed4c19a8f8b36a02912f2e4903082221c9eeb26","datavalue":{"value":{"entity-type":"item","numeric-id":5599805,"id":"Q5599805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$394366FB-1255-44B8-977F-0D21FFC7BCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$0195E874-4FDF-4DAC-8CA8-970383B3802C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74016994ca31c8d024a1189f7e0ed32765e5631c","datavalue":{"value":{"entity-type":"item","numeric-id":3612504,"id":"Q3612504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$5EC784C8-CE9A-434E-87AA-ECAF1BC40AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44eeebf0235fcff88fc3bb17a20f2d20201fb8d2","datavalue":{"value":{"entity-type":"item","numeric-id":2852157,"id":"Q2852157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$89786061-F2D7-4CB3-935F-4D7DD90B9B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec2bc8269f8135aad76019fff7627ea0f8cfe54","datavalue":{"value":{"entity-type":"item","numeric-id":6159371,"id":"Q6159371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$B9FDE1E9-B61C-4A09-8489-D89156767739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033624a7007e7f19014ffd926803b277854e28c1","datavalue":{"value":{"entity-type":"item","numeric-id":5729293,"id":"Q5729293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$976AA516-F81A-40C1-80C3-5E7B0C94C674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323652$11049F79-ED9A-490F-ABBF-F1839D0DE1E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract, compositional consistency: Isabelle/HOL locales for completeness \u00e0 la fitting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract,_compositional_consistency:_Isabelle/HOL_locales_for_completeness_%C3%A0_la_fitting"}}}}}