{"entities":{"Q5222964":{"pageid":7252534,"ns":120,"title":"Item:Q5222964","lastrevid":53469734,"modified":"2026-01-25T00:29:11Z","type":"item","id":"Q5222964","labels":{"en":{"language":"en","value":"The weak completion semantics and equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076876"}},"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":"Q5222964$F8E10E50-4315-435C-B69E-8AC9DE877F56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"549b616dda3d318466c0f999bfb856621e739148","datavalue":{"value":{"text":"The Weak Completion Semantics and Equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222964$C883F4EE-0EAA-49B4-A827-0A4163F9AAE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1147273353097b710b5fbeceb220495c04431157","datavalue":{"value":"1415.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222964$260271D2-6A62-41BE-9C6C-A86B56A6B1CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87e4a486d92f57c99437ce052086911ec9db7f20","datavalue":{"value":{"entity-type":"item","numeric-id":2931269,"id":"Q2931269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222964$A1D89C98-5025-4A13-A558-DA22773DD18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d64bfbdd62224172c0dd77b653dc5558f40927f0","datavalue":{"value":{"entity-type":"item","numeric-id":918540,"id":"Q918540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222964$4E047623-5289-41A4-91B0-518A36D062E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"509e0362af2d3547faa91d9c981f39a07301913c","datavalue":{"value":{"entity-type":"item","numeric-id":2327477,"id":"Q2327477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222964$3D80E4CF-CE6A-42CD-A096-36BB54042BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34a86a7c2db465cd71242e9364c8a1cda4acee3f","datavalue":{"value":{"entity-type":"item","numeric-id":4953362,"id":"Q4953362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222964$0139333E-7BD9-4358-8D05-E9053978E86C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222964$FBA6FE06-1645-41CB-872E-7AA8FC8102E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222964$5E3546E8-B533-407F-B33D-EF20C1477C1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222964$B907B4F0-3E3A-4B68-8390-748341B2B49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222964$C4042ADB-5031-46D0-A1FF-BD6A995CC2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222964$DAC31F3F-31FA-4072-8595-CDD36A5007C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"756a394a6cc2da8ba1efde0fa3d0b252c7165515","datavalue":{"value":"7076876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222964$3A5038F5-337E-4EE8-8801-0194A6C23566","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f351bc90cca900169be2932c48f2bee46f2709","datavalue":{"value":"cognitive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222964$11586364-8AB3-4709-B750-13E0D5973342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c92323c1a4474afbc319478f76dfa20403d76a","datavalue":{"value":"counterfactual reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222964$3E1706D4-48B7-4A98-809D-A6786A521454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222964$4D184C8E-1121-4EA0-9637-DEFA7338B01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71cca0e7797c00bb28826eb0bc407c1fff95627a","datavalue":{"value":"ethical decision-making","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222964$0FE4FD63-0578-4602-AFB1-8778BA3FAB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eee712f5493e3529f5d91554ac3bcb956b2a1781","datavalue":{"value":"fluent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222964$052EA21F-EE46-4C88-8996-35A822D2BB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222964$AF7FA715-C88F-4CCB-812B-87785AEA3E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50a16e2929abfb028f1b98404d186fb346159342","datavalue":{"value":"three-valued \u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222964$8196C018-9696-44FD-9AAA-B003ECEACE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f002d8f09886ea3e3088efe6908304ecc4561d68","datavalue":{"value":"weak completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222964$D6938303-92C9-4EAF-BB04-A2233E88F898","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":"Q5222964$61251A81-43EF-465D-BF86-FEC2E29B26C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb20aaac2d08d3da6f88220f9e5e068a9616dbbf","datavalue":{"value":"https://doi.org/10.29007/pr47","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222964$CF2344BA-7B6C-489F-B036-A559D99CC969","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a8eb09fff609c4d21b1a0cda025de7203d84bcb","datavalue":{"value":"W2907240394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222964$A790570D-5FE7-4762-BC90-E9442439B13B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ba9dbe6c029a4ba15b9b2621059d1c65bc4f428","datavalue":{"value":"10.29007/PR47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222964$9EC63386-3278-4AEC-BC60-2F70412B51DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f326763e368e96544e620e9746862180621d52c","datavalue":{"value":{"entity-type":"item","numeric-id":2185478,"id":"Q2185478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d95eb93a87fbeca93120c617e18a0e697195ed","datavalue":{"value":{"amount":"+0.8286325335502625","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":"Q5222964$695C7428-1F8F-4AC2-ABA2-79C1C1654B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a128e1900c0ff837628c73b851d6bf6cda9905ef","datavalue":{"value":{"entity-type":"item","numeric-id":4963214,"id":"Q4963214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17fbdc562b99f81f9721c6caa09a981d414842f","datavalue":{"value":{"amount":"+0.7377510666847229","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":"Q5222964$0BC029F5-8E8F-449E-BF97-5CFC3931A92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff4b7b5ca4e09514b35c85eeb1b07944084812a6","datavalue":{"value":{"entity-type":"item","numeric-id":6488127,"id":"Q6488127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73e6c8b419eb7e53679d8187307609954f851be","datavalue":{"value":{"amount":"+0.7315851449966431","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":"Q5222964$5CDBF6B6-E7D2-4DA0-924C-ACB2F91EFCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b3755136c99d3c914ca7d373bace0679f8ac81","datavalue":{"value":{"entity-type":"item","numeric-id":3431977,"id":"Q3431977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbca9668d615718e1510402745d441d701402848","datavalue":{"value":{"amount":"+0.6962324380874634","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":"Q5222964$43F23264-F722-497C-A3EB-CB6B22627207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd1a9f462cc9e16eebe8b9c2ec8b51254ce45385","datavalue":{"value":{"entity-type":"item","numeric-id":4583344,"id":"Q4583344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88b8a46e5f44b369198dcae3b02806915cab0da","datavalue":{"value":{"amount":"+0.6946554183959961","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":"Q5222964$5B90F9B2-160F-4BB2-AADC-01D3F14F32D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222964"}}}}}