{"entities":{"Q2871833":{"pageid":2882553,"ns":120,"title":"Item:Q2871833","lastrevid":51900515,"modified":"2026-01-20T12:19:20Z","type":"item","id":"Q2871833","labels":{"en":{"language":"en","value":"A congruence rule format with universal quantification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244362"}},"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":"Q2871833$413CE9E4-BE73-4013-AA88-28B383978EAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"744431367d9e647c321a18ce92ce74c7bcaa335c","datavalue":{"value":"1278.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871833$4DF2CE10-A87B-4F2B-803B-DA15296744F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$ED7EC743-44D1-4CF6-8C6C-90731EADFCD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871833$C0076E0F-9E25-45FC-BDC1-FC2ED2FD3A89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871833$A2A1986B-0F60-4833-8849-85F5E8B7F1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871833$1F13ADA0-2078-4476-AFDE-21BEABB14FAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1f673775716f40519fb783387e1b47d68a7ce95","datavalue":{"value":"6244362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871833$09A626AC-AF6B-4881-BA82-722297FCD025","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b2ac82eaf9b989ba67f87812e2035aef9ddfaf","datavalue":{"value":"structural operational semantics (SOS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871833$71D960FD-0647-427E-8F3B-29F9E57F4068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ccac7bfc846c296c5cc354a3a0433e354a87e54","datavalue":{"value":"universal quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871833$90430C83-7963-48A8-B505-7306FC372D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a3f3571f40b003becf5168648ca69b9553e6050","datavalue":{"value":"SOS rule formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871833$F9E03B54-BF78-4384-9B02-DD4ABC3C0233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871833$2962E84E-27D8-4BEA-AF6F-2EA3482B69C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871833$E6ED2E17-48AA-440D-A790-9400AA030CA1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff906f136d94816d130ac200e60ae8492d574435","datavalue":{"value":"Q57745705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871833$9D6F0799-9A81-40EA-AA1A-04B1BB72EA51","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":"Q2871833$613BF275-47FF-45BE-982D-8E347CDC7144","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"337943468103cf1bbcd2cdd4bca7a1443b3d002a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.08.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871833$31AFA58A-9409-4807-B58B-622DF35F6941","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54021ebf6d3db66464e89f2a6cb2f82155d8cc19","datavalue":{"value":"W2097488274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871833$7C13829B-8736-4F20-A11B-6696AFC4AA14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$476052C4-5673-4CA1-B3ED-AE7C14A5B61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$A62BBF44-BAD3-44AF-939C-481A4ABBFF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$CD18CAE7-5728-4F6A-AA0A-BB308FF5FCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7f33ca20da467faef38d779155a5b2b594538c","datavalue":{"value":{"entity-type":"item","numeric-id":1878713,"id":"Q1878713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$D03574BE-B2B5-426F-BD96-20F7E5DF1A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$5C079D9B-98F7-4C6C-89E3-42E6D49CBDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$285B544B-3CFD-430F-9E30-70FF76766AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e608391d5fff20267259ee8e0ce0bb8fd94bb4f5","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$2E41AEAC-053D-4BDC-A475-E3F853DD7C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d0fcbb5e6356255f5fef09569ca437cfc21d66","datavalue":{"value":{"entity-type":"item","numeric-id":1854563,"id":"Q1854563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$E3051306-827F-4F67-AC7E-BF46BC762767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$CB6289EF-6215-4F09-85AF-4C908267D5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdfb9650a779da65f9c443c794331f7a80af7fb2","datavalue":{"value":{"entity-type":"item","numeric-id":1276259,"id":"Q1276259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$559D6326-688D-473A-B48E-780BBEAF02BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0857e8878bcf78132758435c76b6420a8b1c319","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$6E1DE361-DF92-4C6D-AE23-F348425D116F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0cdcfdba2cb7be20b3ff60a87448ba5f273bd","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$6A2D24B1-9F94-4B7A-919E-8DD932B3C980","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"01c7659e2ef9b9ab3af703ec135ce967665aa3ce","datavalue":{"value":"journals/entcs/MousaviR07a","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871833$3D553A80-D556-4187-9EC3-47B658DA9A16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc3a23005b4268c081ba7ce68196fecaaeb33f6b","datavalue":{"value":"10.1016/J.ENTCS.2007.08.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871833$263D6469-47DA-4FB0-B429-876B76522339","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c705ec432472e58952b1a2bf43ccdef677f26de2","datavalue":{"value":{"text":"A congruence rule format with universal quantification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871833$53C84A4D-7AAE-4167-B51F-C33A301BD6D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5cf1b3c448f4f53abd3f8acb71b2d1bc15a6f1a","datavalue":{"value":{"entity-type":"item","numeric-id":3409383,"id":"Q3409383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$B4A93059-2C2D-426C-9CD6-20BB13FF1019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871833$AB43F187-B41A-4EA6-BBFC-380526AECE1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ece358a5a9473a876a73ea822872cc2cef640d","datavalue":{"value":{"entity-type":"item","numeric-id":3401088,"id":"Q3401088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abcdccd6117a314699d562faec846d7639c9df7","datavalue":{"value":{"amount":"+0.7701854109764099","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":"Q2871833$F84F6DFB-02AC-479F-BBD8-D8AB0860D66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6502048d48bfc14a99e826434572722cec3bad4","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6723925be1afd652d5b5203f245d2a1c07144b","datavalue":{"value":{"amount":"+0.7536709904670715","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":"Q2871833$4FF68C56-E0FB-4EF4-9BB5-2476F9055E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5c915451936990a23a750cd6ff3d101356a126","datavalue":{"value":{"entity-type":"item","numeric-id":2810690,"id":"Q2810690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d396c12829f2ec308834fa85bcc9841466d614a","datavalue":{"value":{"amount":"+0.7430493235588074","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":"Q2871833$41B317E5-DC18-4B55-917C-E7EAA95FEB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8b769e5889b7203cfa43430fbcaad7e3dc2efb","datavalue":{"value":{"entity-type":"item","numeric-id":2852093,"id":"Q2852093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"030109b014fe4880e48604278daf72f27b9ec559","datavalue":{"value":{"amount":"+0.7204475998878479","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":"Q2871833$F559295E-61F2-409D-B7CD-FE7C043D6520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31872946c664497cfffb84e7b97a40910d9fc1f","datavalue":{"value":{"entity-type":"item","numeric-id":5716866,"id":"Q5716866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a892487c1f30b56e6bbbc3bae1c4119a9a19a3b","datavalue":{"value":{"amount":"+0.7204238176345825","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":"Q2871833$B361D157-8D85-46DD-B259-094BD7B0CCB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871833"}}}}}