{"entities":{"Q4917082":{"pageid":6946663,"ns":120,"title":"Item:Q4917082","lastrevid":40775129,"modified":"2025-04-04T15:55:41Z","type":"item","id":"Q4917082","labels":{"en":{"language":"en","value":"On logical and concurrent equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6158956"}},"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":"Q4917082$2B55942E-D706-4A3C-8A39-E897049B5885","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89f5ec605d1e88f98a73b14fce2ccbd829fb41c3","datavalue":{"value":{"text":"On logical and concurrent equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917082$7EE5C1B8-C8B0-4CE4-9B56-A67A97FA1AE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37c9bfc0f6ca2e6f4cc73bbfbb4a6fbe5a2e65d7","datavalue":{"value":"1260.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917082$F15565AE-1EBC-4B51-88BE-DA95DADD76B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60fc18a5be9c67618ce6acdcc67f8e1155f201ff","datavalue":{"value":"10.1016/S1571-0661(04)00215-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917082$ECFDAE73-90CA-4918-86F4-B18F4010C1D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f26ab800d353f785fba41d5cb9e1942cc404ee","datavalue":{"value":{"entity-type":"item","numeric-id":516247,"id":"Q516247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917082$34B64FBA-D46B-4C13-8944-DC5319C3F67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e6124c50a3014292588470f89d4808872cd469","datavalue":{"value":{"entity-type":"item","numeric-id":532391,"id":"Q532391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917082$7E66D44C-C344-4EF9-89A9-118C10BA617D","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":"Q4917082$37F9B7C2-88A7-488F-9D37-BD3D28AA9AFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbadb60043d42aba50a817a1c8ceda2c9fd41cc8","datavalue":{"value":{"time":"+2013-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4917082$B21F76C2-F2C0-4347-8F86-E33ACC65DF2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917082$B79EF82A-3CCF-4232-8719-67E4059174B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917082$D85221A5-6049-46B5-84B0-DB0065F34DDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ce8fcaf378c3af8d89c6b48f6d744ff7e19372d","datavalue":{"value":"6158956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917082$3419B0CE-9272-4D31-8B9B-6ED3EF562611","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917082$4C37B37D-7114-48B2-B0EE-BF4A6FA00F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917082$A570A0F6-DA7B-4E37-A3AA-A3E0331718D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5869056435166f47b75b96d689d17907a9304a6e","datavalue":{"value":"branching quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917082$360C6AF3-2B2E-4877-94AB-0315E9F78A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917082$5A1AB03E-E087-40DB-BB08-224012D86BB0","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":"Q4917082$8980A39C-090D-4184-90E9-B0571820B73F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917082$FE1ECFDD-43C1-42F0-8CBD-8D1A77D53B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07dc09641810652554874240e41134d187b3581","datavalue":{"value":{"entity-type":"item","numeric-id":2753677,"id":"Q2753677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917082$B53DA4A0-CC9E-4B80-B731-6D68DC41AC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c0979a4158ead2db6d7ef533943babc386c5fa","datavalue":{"value":{"entity-type":"item","numeric-id":4490357,"id":"Q4490357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917082$008EE612-6CF4-4D17-8299-9B3F50D3B80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1000ea3c7437af88e8dc77a6449b31406f60ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4941914,"id":"Q4941914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917082$10CC1003-03D7-4F5A-8375-049E5583B672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917082$FDFA867A-754B-4709-820F-4D12D4BB2399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ae02bbbfce4d921fe2d0fdd546347b02262dac","datavalue":{"value":{"entity-type":"item","numeric-id":4360863,"id":"Q4360863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917082$89A74112-0DC9-4500-9B25-32C9BFAE2139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917082$93E56CEE-C8CB-4624-BEF4-C5BD3533EC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917082$7EDE7B1B-9C9D-4D63-9BF7-3657F996EAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cac7fbe3edf8dd45e61377edf3265a1c6bdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917082$B7C6AD8B-2B3A-4A4C-89B0-B5518DE9E064","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4270a29b446fbee6bd7a8e673fd203926a32f540","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00215-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4917082$6A09C0AB-5FE5-46AD-A75F-A9A30CC6A3DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a5236dcd575971f6c9d32348cf91082a734a894","datavalue":{"value":"W2042252238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917082$2BCDF4EF-DDDC-4C8E-83D8-AB390574CF29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b463cbd7ac8ae1ddd4ac9671d236ff348a81224","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf6d0ebb80ea9fd8f01da63b4dda88e547408e2","datavalue":{"value":{"amount":"+0.88714504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917082$8342E95A-F938-48FA-B8D4-C26DC6A2239A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"026362a1dcfcde264290f3ecd67b1fb851788378","datavalue":{"value":{"entity-type":"item","numeric-id":4870569,"id":"Q4870569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ac52fc13272b5b449590157b4e399d1910ecb8","datavalue":{"value":{"amount":"+0.8857138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917082$233353D8-965F-4598-AB19-557C23559901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a644d1b769fb8da3531a452cd1e64bed59192cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4896505,"id":"Q4896505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519bea46e19efea0d01c30b03029d1f74fa64758","datavalue":{"value":{"amount":"+0.884232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917082$E34CBAB8-6407-4FE5-AF5F-DA0D13E046A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53750e778f847713f90c4de725d66f46175e2206","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e060a49d14b84cc8e84c85579a71e3912159426","datavalue":{"value":{"amount":"+0.8836774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917082$0116828D-5D06-466C-BDDD-7E4DED188D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55958dec6f04d280060ce2e215ec95eb1d6a1292","datavalue":{"value":{"entity-type":"item","numeric-id":4635661,"id":"Q4635661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e141c1d8bae9c566302d1249dae1e50cc9936404","datavalue":{"value":{"amount":"+0.8784364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917082$EB57AC37-0AE3-4E84-9302-4B6E8506075A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1897819873a2f4dae24033f04f2fdc2d672df216","datavalue":{"value":{"entity-type":"item","numeric-id":2753677,"id":"Q2753677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c3c0e18bc424c09fde198ffc78d0f4a381933b","datavalue":{"value":{"amount":"+0.8765681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917082$B6A5C2A7-214B-422E-AF7B-199D224E2097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c71b2c8b62ec58ce788d4f9493878ad8b935d4","datavalue":{"value":{"entity-type":"item","numeric-id":5240950,"id":"Q5240950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d244d28752e1170b026aa622b8cb5435baa15f59","datavalue":{"value":{"amount":"+0.8763632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917082$8597B211-62CF-4DD3-A937-87849D2EF37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e4a4d10925902a1ac398f433e1df2b704cd0af","datavalue":{"value":{"entity-type":"item","numeric-id":5283963,"id":"Q5283963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d279e33c04638c6c79085fa182d7ae6c8d253f","datavalue":{"value":{"amount":"+0.8761498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917082$851E77D1-1B43-41A2-9FD5-ADB92A1AD9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b59de8dc7fcd366120309447bdc7fed92e2a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2433095,"id":"Q2433095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e1ee1528e5b8e0a4ba66c130ed2be6bfee94b6","datavalue":{"value":{"amount":"+0.875032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917082$188207F3-7472-4570-A931-C253435AADF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfd28b300153bbba9303dbe0dd2a330a8b6178fb","datavalue":{"value":{"entity-type":"item","numeric-id":5081953,"id":"Q5081953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87b38da5ba558b665eed739c58765d885a6f92d","datavalue":{"value":{"amount":"+0.8743091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4917082$7AB64747-3F46-4C72-AA45-127E719AD845","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917082"}}}}}