{"entities":{"Q1186571":{"pageid":1197320,"ns":120,"title":"Item:Q1186571","lastrevid":66445752,"modified":"2026-04-12T10:08:21Z","type":"item","id":"Q1186571","labels":{"en":{"language":"en","value":"A simple proof of a completeness result for \\(leads\\)-\\(to\\) in the UNITY logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 36820"}},"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":"Q1186571$8CBDFCEA-B0E2-4E8F-9805-94BD65F192FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"788fb9973643472c551389b9ab5949e461137ba3","datavalue":{"value":{"text":"A simple proof of a completeness result for \\(leads\\)-\\(to\\) in the UNITY logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1186571$FB21304F-F910-451C-A9B8-D139CE0B1F28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b55d2e9ca140360efc4a50d10629674b6de91e0","datavalue":{"value":"0743.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186571$F22DCB6C-5A3A-41AD-8B31-01A09467D86D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"382d5d6161502c97529230e7757da4ba2c60b286","datavalue":{"value":"10.1016/0020-0190(92)90077-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186571$5902EA27-09F3-42F9-B4C8-C2DAA810F284","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186571$FF8ECAFD-351D-4FFF-9C90-0ED7E7F2F6D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1186571$BB8D36B8-DB71-4BA2-81FF-F58AD4C48FCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186571$415B5BE0-D817-47EF-AE45-5A36D71FECCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"869bb1de0131c5f1607d3978255912a9be33acf5","datavalue":{"value":"36820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186571$F8AA9009-CDDE-434A-A91B-BC245E8F90A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186571$9CB7FE8E-D8E4-4B17-A3A2-6F1B5035D170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff5bd607face98a8a2d144348430666abf8ebc2","datavalue":{"value":"programming calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186571$9F20BDA9-24C8-42A7-87FF-A042FD25B317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186571$1AAA35DF-7C0F-46A2-A7D0-69A4B2DC9C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186571$0DF26421-83E3-4BCE-A010-73795E83DEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186571$D6DBC642-8A9F-44B5-908D-E091AA39EC42","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9acaef6592c5845dcf1c9ee717c3ae5b1b64ec90","datavalue":{"value":"Q58329983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186571$80B02333-95A9-4F14-A2B4-F67929AE4719","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a849cd067aced7458ae09c0879b1a7935b42710","datavalue":{"value":{"entity-type":"item","numeric-id":797998,"id":"Q797998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186571$8CF05C78-7F19-4EC6-81D8-4D4175557EED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186571$6094BA73-3421-459E-8B22-1A914FB3711A","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":"Q1186571$0B809AAF-A20B-4D4C-8D3B-BC2A830B4007","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"111da1a1487d39e7962c2e6ea655f1267c3fcecd","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90077-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1186571$E91A46AA-2B29-4180-A5FF-C59B3CEA4FAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ff42103e74156514a5deaf32edadc2183d22039","datavalue":{"value":"W2000899326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186571$1564CF05-E1FC-4F65-BAC3-C5F7C8BF9652","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186571$D4D29A29-5875-4E1E-9C17-07BAC31AB366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b414fde67a0e9245e2e0e9897886004e2cf5aa8f","datavalue":{"value":{"entity-type":"item","numeric-id":909441,"id":"Q909441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186571$A1306E58-4DA3-44DA-985D-CF9779DCA58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186571$B782A066-6994-4E88-A6FD-5F0DD73AC525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b903410f1a6227646424166fe21e2772f833caf","datavalue":{"value":{"entity-type":"item","numeric-id":751848,"id":"Q751848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186571$4223C89E-6C1A-4EA5-82A5-74E664BD0124","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019a936a970050ea34bdbf80144d3a2856dc1dd9","datavalue":{"value":{"entity-type":"item","numeric-id":2337894,"id":"Q2337894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7fa05515cdbb38b15b695dbe4483744ee8da06","datavalue":{"value":{"amount":"+0.8687106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186571$957F6AF4-486F-4EA2-8D7E-EEA1B2745504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364a1492ef1af0460fb7e2002f048c09458a676e","datavalue":{"value":{"entity-type":"item","numeric-id":894654,"id":"Q894654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26dd298e0c09e4c94f455b9128b9e4d1911778f8","datavalue":{"value":{"amount":"+0.849877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186571$363B697A-0204-4BB4-AB92-1DC287484AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0522efca69039012a3aed205fca5833cb13426d","datavalue":{"value":{"entity-type":"item","numeric-id":3705453,"id":"Q3705453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2fc9666eaba62c353901814a54d698b7d2bf7aa","datavalue":{"value":{"amount":"+0.8471004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186571$F2BE8D4C-E645-4844-AF05-90E5EF644C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6ea8784d7a13838d3a3bcbc6a80b74225c4203","datavalue":{"value":{"entity-type":"item","numeric-id":1893136,"id":"Q1893136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4536ba2bc2e48e1832968ae6e075b5d3d467a6","datavalue":{"value":{"amount":"+0.84585744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186571$77F67C84-2980-4EE6-9588-97C44BF26A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf7b2dee4bced2cbc9a4883c47f4dd252915b35","datavalue":{"value":{"entity-type":"item","numeric-id":5310674,"id":"Q5310674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbed20b14da71c6f43f7a3de67265e4626d0034","datavalue":{"value":{"amount":"+0.8418858","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186571$9F91ADE3-B64F-49C6-ABFB-5EC24ED83EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e02534ac3b7c0b1c45f1f839ce0a69b53ac6d80","datavalue":{"value":{"entity-type":"item","numeric-id":3097870,"id":"Q3097870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a32c30c4731c816c4610991eb07823944988c85","datavalue":{"value":{"amount":"+0.8417034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186571$FE8218BC-9466-431E-BD04-F1D2343E9530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328c1c54bfd5140b1a38cefe5f9ecea15c306608","datavalue":{"value":{"entity-type":"item","numeric-id":3128482,"id":"Q3128482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde924d73b168834a8419b5e1a7787622b041512","datavalue":{"value":{"amount":"+0.840749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186571$B3600ED9-D3EB-4CA0-BD54-587C0EC6553C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241bd54c44639e03cf527fd79c55087ee7953138","datavalue":{"value":{"entity-type":"item","numeric-id":2277453,"id":"Q2277453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa535d31fda37f777a8ff635ea43db34462013db","datavalue":{"value":{"amount":"+0.84022105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186571$6C4C4375-2747-41DE-8E03-7212D3BEDF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4bcaf2b45c87fe2bac1bb31d594136be83ce9f8","datavalue":{"value":{"entity-type":"item","numeric-id":677080,"id":"Q677080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c6d715b7fb7080de4a2611819f60d9faf1a89bd","datavalue":{"value":{"amount":"+0.8397628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186571$C7856088-964B-4D4E-BFC6-C1EEDB67C47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdf29a2f675b4cd9c6f50f62e20f57377b89d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3775557,"id":"Q3775557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09ffd0e5618dc398be7f05b6b5671b566969483","datavalue":{"value":{"amount":"+0.83960915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1186571$5D609EF4-EB3C-47F6-B59D-6C084661FD5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple proof of a completeness result for \\(leads\\)-\\(to\\) in the UNITY logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_proof_of_a_completeness_result_for_%5C(leads%5C)-%5C(to%5C)_in_the_UNITY_logic"}}}}}