{"entities":{"Q866141":{"pageid":867989,"ns":120,"title":"Item:Q866141","lastrevid":64943643,"modified":"2026-04-11T23:16:31Z","type":"item","id":"Q866141","labels":{"en":{"language":"en","value":"A schematic axiom for open congruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128621"}},"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":"Q866141$863754B8-4275-413C-86EE-4A5F5C897B53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98d17008e17fe79413c1e70d1d662adec2a09b99","datavalue":{"value":{"text":"A schematic axiom for open congruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866141$58A64A30-EEC7-41FB-BCC3-F6E0EEDFFA19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"020c49520c56be14396300176079d63e14813849","datavalue":{"value":"1161.68620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866141$30FA7DB2-1B30-4D58-83CF-E6D4133C770F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43ee9c8fb92d9851f57f12d6328abed8c2669ffd","datavalue":{"value":{"entity-type":"item","numeric-id":182339,"id":"Q182339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866141$AC942157-2A11-4ADD-AF35-A0822F657FEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f98e7827e954b81f9efe2be64c5ae8ff8fac944c","datavalue":{"value":{"entity-type":"item","numeric-id":419702,"id":"Q419702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866141$AE32E02B-FFCB-4780-8D01-81A32A3F9786","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866141$C8D3ADA6-F4DB-4D01-8631-B98926238789","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc2ccb53c6c8857315b921b43eeb53e155c2b616","datavalue":{"value":"A schematic law dealing with localization operator is proposed for pi calculus. It is shown that the law renders the use of distinction unnecessary in the axiomatic theory of open congruence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q866141$79C06315-C1F8-4E3D-AFA5-68296C5E5A2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866141$F1F50B31-AD39-4D7E-B0FE-08BE2C67B709","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b637d7bb839cef2a417e4b57f6b76b48b9e460f","datavalue":{"value":"5128621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866141$D4A39E2F-1AFA-4162-8960-4A4B218C26EA","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":"Q866141$0689D040-AF8A-4CF2-B979-FE8F548FB0F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb889c3a76da4f884e9c06e12f4aaf4282b336e4","datavalue":{"value":{"entity-type":"item","numeric-id":1884877,"id":"Q1884877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f05f831fb685693b69b4621c2e0a8667d11bda","datavalue":{"value":{"amount":"+0.767137348651886","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":"Q866141$32037E1F-7980-45E6-B6C1-C28987DF92C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4125634fb6e5f19dd42e5baebe7721276711d3","datavalue":{"value":{"entity-type":"item","numeric-id":3518280,"id":"Q3518280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911f72caa6fd7defb28d38334df75b88cac71d32","datavalue":{"value":{"amount":"+0.7569005489349365","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":"Q866141$5F5ABD1B-C8BE-43A6-B5DD-D6ACE4BD2BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86ada1322d2b5ed88c53500c36aa9f2c81cc6b8","datavalue":{"value":{"entity-type":"item","numeric-id":5758047,"id":"Q5758047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216c8a93bfcc4671195968b8272e299a5cd86cc6","datavalue":{"value":{"amount":"+0.7524354457855225","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":"Q866141$9AC6323C-D998-45A6-9660-58CA001F36AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3401973df332edd1e16a463447336ada6ed5f04","datavalue":{"value":{"entity-type":"item","numeric-id":4270066,"id":"Q4270066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75d47b5455e97f3273dba4eb27a997b8ad2d848","datavalue":{"value":{"amount":"+0.7190956473350525","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":"Q866141$BA8CBD75-A599-455B-ADC6-1DDDBE48DABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b64544da2481ad3e4d805a38a96b52c34f80141","datavalue":{"value":{"entity-type":"item","numeric-id":2465030,"id":"Q2465030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ad8f235805cacb650e7b539367780c62ae3516","datavalue":{"value":{"amount":"+0.7105196118354797","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":"Q866141$61A8757D-7120-4E6E-83C9-8EA7758EB763","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A schematic axiom for open congruence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_schematic_axiom_for_open_congruence"}}}}}