{"entities":{"Q4279257":{"pageid":6308858,"ns":120,"title":"Item:Q4279257","lastrevid":88640681,"modified":"2026-06-04T15:03:43Z","type":"item","id":"Q4279257","labels":{"en":{"language":"en","value":"Processes as terms: non-well-founded models for bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 502864"}},"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":"Q4279257$0FC94533-BE54-49D8-A1CA-A49D35D85C05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e47cf7d468331b5873f3dc96830a8fd6f783625","datavalue":{"value":{"text":"Processes as terms: non-well-founded models for bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4279257$0B64A1EE-0EB2-4F90-8CF1-3BEE731BB212","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"074e7301c1b5c9d3c15b61d4ee0f252d79da90f6","datavalue":{"value":"0798.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279257$838A9E73-0CAA-4DB3-AB4B-D9B575A66DEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba872ce3d2c11d1e2d6ca71e9dbf020a51ec1b0c","datavalue":{"value":"10.1017/S096012950000147X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279257$431164FB-BAF1-4753-8C86-DE33C7050118","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279257$E902E07D-D4BB-426C-86B2-262BBBE29E82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a329b88a4d82d733f1a3bfff3c8b5a8012bd850b","datavalue":{"value":{"time":"+1994-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4279257$C8A69D4A-CA74-450F-82D0-E90910BDA226","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279257$D853B148-DECA-4B6F-9B98-8F4C368CD829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279257$256ADF05-7A5E-4CA0-A32A-CED1E9D4951E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279257$703D159A-6C7A-48C9-80BD-7B02980D6E4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17177be55e8c095724afd5c868519bbc3d5c1c7d","datavalue":{"value":"502864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279257$2F3015AA-C929-49F9-A160-8B9E1C7E9EF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465f085b95b13610f0e4840fa8369965d610e336","datavalue":{"value":"non-well-founded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279257$5862EE3B-704B-4B18-ADD6-FDC3E913F3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977eed6131dfef7e6e3cd1144bd76459fa17e188","datavalue":{"value":"compositional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279257$730147A7-7E64-4C7A-A3C6-36F896CAF874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279257$57867EBD-63BC-488A-9308-5DD7FC30CAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d66bf2a1b1e1bbbf069d7f47610759328f5c326","datavalue":{"value":"transition system specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279257$99C80DD6-CF42-44BF-A401-06DF299A1B26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279257$35055066-3373-4CDA-8305-34CD3981DA88","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":"Q4279257$9FA90C2F-2ACF-476E-9B74-ACCBFDCF3174","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279257$B3B2DCB1-6605-41D5-96B9-F3FDDA8539F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279257$6B0E1EE4-CD3E-40C6-AB65-AAA1AE1712F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279257$1D5992DC-4B62-4B22-8A33-70D6063C6578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9002b11d3ce5a7f9f2de54d4d590fb5f5bed4366","datavalue":{"value":{"entity-type":"item","numeric-id":3993251,"id":"Q3993251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279257$37CEF0B3-717C-4330-9AD3-7E3EEEB882F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279257$894371F4-0EC9-4F89-864C-FC085C7B8037","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f6037fd9d5678ea779a30d2cfdbbb6385214ce","datavalue":{"value":{"entity-type":"item","numeric-id":6116571,"id":"Q6116571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"819d4e725dc36081e6b24f7916c7e511ce23357e","datavalue":{"value":{"amount":"+0.8103799819946289","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":"Q4279257$4EB78310-F3F7-49F0-ABCE-F326147F4CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9278e9f779fc17ed5c802e17e5e528fdf75e13c0","datavalue":{"value":{"entity-type":"item","numeric-id":4733426,"id":"Q4733426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b4b2f9370bd3d1b2ff5e8a87f315f6e02d05d2","datavalue":{"value":{"amount":"+0.8021134734153748","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":"Q4279257$C2404935-4FC6-4E72-887F-0523496B169E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6337a461b509d6b31fe5dea096c2530f9f773c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a40eb2803dc51b4ce1b2c25bdc516db30ad269","datavalue":{"value":{"amount":"+0.7778769135475159","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":"Q4279257$B13E2A37-DBE5-46EC-A231-1EF35ABE1C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7250b9ea7c7346ba8f22cb2ef8c1cd5eb6243446","datavalue":{"value":{"entity-type":"item","numeric-id":5890043,"id":"Q5890043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be86dfac810d79a19548450fd0b5b4b233ffb65","datavalue":{"value":{"amount":"+0.7655565142631531","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":"Q4279257$2C00AF82-B10C-4211-BC8D-61ED1C206883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c30e56a722459c83d9a72a334a0afab1a75013c","datavalue":{"value":{"entity-type":"item","numeric-id":3474903,"id":"Q3474903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fccfeaa4770f70360f61ab8d8b77447d8ee72816","datavalue":{"value":{"amount":"+0.7560715079307556","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":"Q4279257$7AB8E3B9-CAD8-4762-93BA-171C6CA82C4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Processes as terms: non-well-founded models for bisimulation","badges":[]}}}}}