{"entities":{"Q3061279":{"pageid":3071995,"ns":120,"title":"Item:Q3061279","lastrevid":86242307,"modified":"2026-06-03T16:49:49Z","type":"item","id":"Q3061279","labels":{"en":{"language":"en","value":"Bisimulations and bisimulation quotients of generalized Veltman models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5826756"}},"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":"Q3061279$16ACEF26-2DD4-4E8E-9286-B523C83B2272","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec472cc0db38c48f0d78b47f687b2c564ddb38a5","datavalue":{"value":{"text":"Bisimulations and bisimulation quotients of generalized Veltman models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3061279$47168276-5E27-4596-B543-020D410E2C32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"319b1f6d6a48b7da6bf63597e15a50244dafc987","datavalue":{"value":"1213.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061279$031C29BE-7F20-40E4-9F18-FEEFAD9D36D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed7c1aab7f61881b9ebf54750dc681b17bb0250","datavalue":{"value":{"entity-type":"item","numeric-id":269724,"id":"Q269724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061279$F5E4A5E7-3BB6-466F-A062-94A945BE2116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e0adf3c00216a49ea198818eaf1e832ec99c7b0","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061279$34E04064-CE56-4F2F-9A1C-2DD05906E3D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c7b9f0403915176fcd67af3fc6912389edbd89","datavalue":{"value":{"time":"+2010-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3061279$450FEE22-7F6D-4962-ADAC-210BAE34842A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061279$A2539164-4B0B-4692-96E4-39979DFDAA24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4a8c629a30f1100330c58604633373cb4cd0f6e","datavalue":{"value":"5826756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061279$793973C6-4FE3-44A7-A9A4-E723B9D037EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9408503c8a10ed2da631d7620bd788ac6be15dc","datavalue":{"value":"generalized Veltman models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061279$905D8D2E-94EF-4EF9-A10C-3A9176AF6D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061279$1AC3A6C0-9AE1-4A9E-AE43-68D05E3C0F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27eee7d3d647bece861f630e52ae930b4d3e412","datavalue":{"value":"Hennessy-Milner property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061279$FE624E4E-8FCF-45D1-A9CC-46FF6521CCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22e0e9354208f3c3ee97a65c4e2d508b1e4a1352","datavalue":{"value":"bisimulation quotients","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061279$CE21CC63-33BB-444A-AE8B-7A09C3F73D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3061279$2E3B65BC-8236-464A-ACE2-B6C6AC184D15","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":"Q3061279$97002C30-C848-4824-A9C9-B55A545AA9EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4402c9ded1fef430843b3e1fcdf162eef29dc386","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzp067","type":"string"},"datatype":"url"},"type":"statement","id":"Q3061279$F8B3D296-364C-4AD5-A7ED-4DC96E4D3554","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c7d9a91bc378f1ef4ded786530f5ba5c676eca0","datavalue":{"value":"W1998776154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061279$5801C330-13A0-4749-936C-F77C229381E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1803e4da969002627a174fbfffb4263d19b6d54","datavalue":{"value":"10.1093/JIGPAL/JZP067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3061279$9633FAD4-E3CE-4C73-AEC0-5075AA044EA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3061279$5CFC1E2C-46EE-4ED8-BA84-7D0343ADFED8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332283638d7a704a971504393b884ee49c577f72","datavalue":{"value":{"entity-type":"item","numeric-id":2888153,"id":"Q2888153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1177863ccf2c23972f3c186ba8e1551e5124e63b","datavalue":{"value":{"amount":"+0.9793618","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":"Q3061279$86841496-82E3-4E75-9CDB-8F27AE8DD0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aec1e24438d23ed7a58b6d43f280b6194b5e092","datavalue":{"value":{"entity-type":"item","numeric-id":3520227,"id":"Q3520227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f05d8358064d7ce88aff4eea4f0a5f7825d85b5","datavalue":{"value":{"amount":"+0.9692389","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":"Q3061279$BA00E918-CE51-49B9-B9D2-CB7DB797C51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a24bba9006dda7c932a2c0ec6531082cb0474f1","datavalue":{"value":{"entity-type":"item","numeric-id":2718477,"id":"Q2718477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca2c7df107426a7c00663fc5d6f3650021ec3a1","datavalue":{"value":{"amount":"+0.9434455","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":"Q3061279$35573E4F-A331-4909-9C71-293AD0DDF624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881d6e5a876f36d4bd07e1b907eeec98e69fd350","datavalue":{"value":{"entity-type":"item","numeric-id":3056296,"id":"Q3056296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430dc12b91a1c146b425acd759d20d4244e61f2a","datavalue":{"value":{"amount":"+0.900559","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":"Q3061279$D3C40B7B-A545-4019-AD25-185A1B463BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abde85dd0c5a0622ef2a5fe0b0a2d3a3afe7d711","datavalue":{"value":{"entity-type":"item","numeric-id":5494236,"id":"Q5494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273fa28eeb805f4d7228a7d7b523b185cb99f78f","datavalue":{"value":{"amount":"+0.8917026","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":"Q3061279$2B72ACC1-D5A2-455B-9857-E3A74B087D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"575ae9db7bfe05fed99e9f62d3c45f071f107f01","datavalue":{"value":{"entity-type":"item","numeric-id":6096733,"id":"Q6096733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af1819a622127359aaedea18bcd79a45d09d4c5","datavalue":{"value":{"amount":"+0.88862026","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":"Q3061279$90058334-76A9-4908-BBA9-9F8E4B09AA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb36327b19e2de87448d0b99c90a7a4959155fe","datavalue":{"value":{"entity-type":"item","numeric-id":3507553,"id":"Q3507553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d704d3c365ef729cbb4c91bd53845e38a7eda47","datavalue":{"value":{"amount":"+0.8816124","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":"Q3061279$F36F70F8-079A-4673-BF6D-FAA8F1879C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd9decbaba482f59b8298dae4a5da22d1dee5c8","datavalue":{"value":{"entity-type":"item","numeric-id":3067468,"id":"Q3067468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccc337a5586ac4f857906fb0c50733e3c2e6596","datavalue":{"value":{"amount":"+0.8797853","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":"Q3061279$4DE7927E-0A41-473E-A1E9-304B0584A2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4709cfd176129a3c1d66896cd09bcfa903cea1af","datavalue":{"value":{"entity-type":"item","numeric-id":3178257,"id":"Q3178257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc7d262bbd9d0ec10070bd9e6bc0d6c304adb56","datavalue":{"value":{"amount":"+0.876912","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":"Q3061279$81F7C76D-ED95-4D26-B7A4-89522BD9026D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1edb9769746fb42a02708624bdf4fd2c496fcae","datavalue":{"value":{"entity-type":"item","numeric-id":3154151,"id":"Q3154151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c94bf8930e1b13394bfb1477788dd93336ca68","datavalue":{"value":{"amount":"+0.8761762","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":"Q3061279$E33697EC-B98E-4755-B274-21438E4E3F84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulations and bisimulation quotients of generalized Veltman models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulations_and_bisimulation_quotients_of_generalized_Veltman_models"}}}}}