{"entities":{"Q5413358":{"pageid":7442932,"ns":120,"title":"Item:Q5413358","lastrevid":100922024,"modified":"2026-06-05T23:27:15Z","type":"item","id":"Q5413358","labels":{"en":{"language":"en","value":"Bisimulation reducts and submodels of intuitionistic first-order Kripke models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6290328"}},"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":"Q5413358$553F4514-3F7F-4A06-9B34-9722DD713428","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0be8bc27eaf7824e7d3aafaa1b93feee0efb57a","datavalue":{"value":"1287.03108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413358$E40CA8F3-9BED-4926-B698-964B5E20F9F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a35120a6a454e23e128ae3826feb53523f2ec7d","datavalue":{"value":{"entity-type":"item","numeric-id":190318,"id":"Q190318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5413358$BF6633EE-359C-46DD-AA75-741660F07D30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23041ad0e28c684647ee3157226d262337ca2ff1","datavalue":{"value":{"time":"+2014-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5413358$6254E92C-A029-4F7B-8784-B66E9A2A04F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c603b6ba21fe286ab9000078faa4437c93752935","datavalue":{"value":"http://www.filozof.uni.lodz.pl/bulletin/pdf/42_34_5.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5413358$A25A3155-5A86-4CCF-9DE9-D0D3C5857A7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413358$090596CC-9E84-42DB-A40E-1C23CA23B529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413358$BB306FB6-43E5-4D51-B077-5FA4143AE3A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8d17deb29a33e588599af2d23604673faee577e","datavalue":{"value":"6290328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413358$EFA523B1-1FB0-4B7B-BC1B-30949292BF66","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":"Q5413358$FDF2CCD8-2056-42EF-992B-33F1A9DB88A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac627fd61feb27abab3e105a1012c225337c635","datavalue":{"value":{"entity-type":"item","numeric-id":3619870,"id":"Q3619870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d1648737c965403f2555f632ccbe3aeaa2f1a6e","datavalue":{"value":{"amount":"+0.8468454480171204","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":"Q5413358$AD2F213D-BC55-4584-BFB4-97E8277F5B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a07a71ff9e10e437d24c22e2b7b6202a14824c","datavalue":{"value":{"entity-type":"item","numeric-id":4434503,"id":"Q4434503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5134cb1a1d50a1758677e5b74ed0b61648cf1bcc","datavalue":{"value":{"amount":"+0.8321157097816467","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":"Q5413358$50C150BF-1918-46FD-AAAA-31ACBFA27FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3cbd1977e31dc4f213d786c3fefedeb804c0c0","datavalue":{"value":{"entity-type":"item","numeric-id":5095626,"id":"Q5095626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e456fb47eaf1f068482b733bffe561103f574663","datavalue":{"value":{"amount":"+0.8264634013175964","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":"Q5413358$89750A90-5ABD-49BA-AE5E-D2AA9DD439E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3cef1a22aad01b8c26aac7dc481393e11aa44a8","datavalue":{"value":{"entity-type":"item","numeric-id":5413341,"id":"Q5413341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6dd2f2b6c5deb8149795f1cc3ed187d09732af","datavalue":{"value":{"amount":"+0.8178026080131531","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":"Q5413358$1BFA374F-F19C-419E-9971-E215E3668872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"385db15b7a3309167fc2c3991d761047e5fc5a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3535603,"id":"Q3535603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a70e394def7fdb46277ba7673b9ec4d571e0ef","datavalue":{"value":{"amount":"+0.8121352195739746","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":"Q5413358$5E2F98D5-EE56-4FB6-8EF0-6D67BA8683C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation reducts and submodels of intuitionistic first-order Kripke models","badges":[]}}}}}