{"entities":{"Q4879898":{"pageid":6909477,"ns":120,"title":"Item:Q4879898","lastrevid":46380690,"modified":"2025-12-24T16:24:51Z","type":"item","id":"Q4879898","labels":{"en":{"language":"en","value":"Branching-time logic with quantification over branches: The point of view of modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883456"}},"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":"Q4879898$C9199895-8D52-4718-A06F-5082064A47BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f03562a3b772048f7c70c58e981bec45c6da4c50","datavalue":{"value":{"text":"Branching-time logic with quantification over branches: The point of view of modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4879898$CB6B238D-1509-41C3-AB01-7C9EF913D388","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5592d657b5c26a688a8ef3f1c3491c910f19025","datavalue":{"value":"0858.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879898$D80ECE6B-743F-4542-BB4E-09EFA6F21A5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d35aac61933be69d21b7766f3d90e456593938fa","datavalue":{"value":"10.2307/2275595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879898$2DC3FCE6-C1B9-4555-A6C3-8BDB75061D34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceb85b48ec12d7f6a6d7ea0e4b9c87f925bd00af","datavalue":{"value":{"entity-type":"item","numeric-id":585185,"id":"Q585185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$5E228B65-8CE3-4212-B3A0-F736915A541D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$519B0EDC-8527-4410-92D9-1DCD40D74E16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b708c1ef123d2022be1d9c45e421bc9f0d502ad0","datavalue":{"value":{"time":"+1996-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4879898$EE8D9888-7FB9-40D4-AB2E-0120779568B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879898$396E999C-5D3C-498C-81F0-6EB23FBC9EF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cdd25fd2ecda7a251ef9d0141feec273b8111b9","datavalue":{"value":"883456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879898$F6D72588-5467-4C39-AAF4-BDB243F277FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab95dfbcdceac6cb0c1480eb7dd795ff46e5c45","datavalue":{"value":"branching-time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879898$B9679FED-639B-493A-A618-636E43706D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879898$A135A0BE-AEDE-4D22-9A69-B018CD73DA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a50ad4a64c261d17f879ac500d5cc61464c438","datavalue":{"value":"history of time trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879898$56784B8E-8175-4F8A-BAC4-9063E0E25549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2303f429cd372eb28160074bbcb51014e6a66364","datavalue":{"value":"definability of classes of frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879898$30EB1C7B-550D-42B6-8F1C-F9E21B11ACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f6e7276e97925fe79cdd23a33d4c8e97c04f76e","datavalue":{"value":"axiomatizability of semantically defined logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879898$71231975-4FA6-4AF5-B327-19D15109951E","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":"Q4879898$DFD6FA6E-2D0C-4B6E-9FE1-6707F143B929","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"992c4180026866f14fba2d91d06b93927c055bf0","datavalue":{"value":"https://doi.org/10.2307/2275595","type":"string"},"datatype":"url"},"type":"statement","id":"Q4879898$D7F4C7D2-D5C9-4927-8AE2-603359879948","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9997c5400f6de413384a33f39461db4092c76743","datavalue":{"value":"W2028942690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879898$09BF3114-9FE5-4B2C-B7D7-CDAD9ECF6E16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$9482A6F9-C86A-4E9E-80BF-73D3355E59BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc5db43eaf35bb5b801516b08f876b5e7d02563","datavalue":{"value":{"entity-type":"item","numeric-id":4276172,"id":"Q4276172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$9B6BA6FE-85CB-4EEA-A1BF-82223FA95869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95dacf2a49aa233bd18fa72ccdf01e05d3821499","datavalue":{"value":{"entity-type":"item","numeric-id":2276944,"id":"Q2276944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$3A350E90-CCD4-4D46-A47F-EEB8872AEB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb829f4f3c004622185cd16811967cd4ca05ab6f","datavalue":{"value":{"entity-type":"item","numeric-id":1092034,"id":"Q1092034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$ADF42079-63A4-446D-977D-525BAFB34A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4625a8b175c798b9b816252c4eb7b84249a3d851","datavalue":{"value":{"entity-type":"item","numeric-id":1066884,"id":"Q1066884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$B5DD778F-524B-4938-9978-9055EE0CF6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$8BFEF951-4BB1-44A3-9486-8A63B06F4B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e12ebc4beb0a2509586b59f5001ca0b126ecbbd","datavalue":{"value":{"entity-type":"item","numeric-id":4276034,"id":"Q4276034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$EC299441-05B4-42E4-BDE3-99594A294BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b3e7554c5b9ad3a018588230332941dd1bfea0","datavalue":{"value":{"entity-type":"item","numeric-id":1207433,"id":"Q1207433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$9517B276-6CCA-4084-8430-333DEB1E609C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea1d8a229c54b15541be0fbaacfaaec5d75bf76","datavalue":{"value":{"entity-type":"item","numeric-id":1148308,"id":"Q1148308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$A43B12C6-6860-4F84-998D-C14B66D36FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65004c290e3f0ea315a4c52f604a40c6749f75","datavalue":{"value":{"entity-type":"item","numeric-id":1155599,"id":"Q1155599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$A8301F3E-2B65-4B6E-A004-4CBC7A043FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641449b454cc4419b8d4a8fb6d77750a053089e6","datavalue":{"value":{"entity-type":"item","numeric-id":1198418,"id":"Q1198418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$837FAA34-C8C5-4B36-8EF1-905007823B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$023A65B8-7B2A-484B-AC1C-97F33BC81782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879898$7ECED05E-EC3B-40F3-9313-C9FDBA1B61CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea86d12bba4e938131bd8b2b73ff8d0728818e6f","datavalue":{"value":{"amount":"+0.8221682906150818","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":"Q4879898$35DD8353-80CD-4892-9706-868089DB7C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4173198d3c9b3be548ec242188f2e17f77b2b097","datavalue":{"value":{"entity-type":"item","numeric-id":3442402,"id":"Q3442402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b77247ea54545b6b241a25787bfe24d9d0c038a","datavalue":{"value":{"amount":"+0.8216570019721985","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":"Q4879898$33EAE357-5B1C-459D-9C84-F659C6D46A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c1e56272e89723df8b5c41e8c5c2cea135c272","datavalue":{"value":{"entity-type":"item","numeric-id":2856051,"id":"Q2856051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64aebad99bdbe9dcc5fb7f0b15a6ed17a87ca275","datavalue":{"value":{"amount":"+0.7868515253067017","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":"Q4879898$25D45FA2-F1EF-4C49-B7B4-0D36E3C54E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532faaafcdee0d998733785d709643bf514cb5a3","datavalue":{"value":{"entity-type":"item","numeric-id":3757893,"id":"Q3757893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1368ede190ba98531c4ac74ade21dd0c52dc83b5","datavalue":{"value":{"amount":"+0.7861934304237366","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":"Q4879898$F7F86D7D-99ED-4963-8125-F1043373E7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72ea4bea2ca32c16557917415d30c835acde50a","datavalue":{"value":{"entity-type":"item","numeric-id":4929426,"id":"Q4929426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8463e8f2193b0165f69b018eaf40c90bc15901","datavalue":{"value":{"amount":"+0.7845288515090942","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":"Q4879898$2D8FAF99-4DD5-4B4D-83C4-3057D4BCC6BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4879898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4879898"}}}}}