{"entities":{"Q6200751":{"pageid":13335638,"ns":120,"title":"Item:Q6200751","lastrevid":98917853,"modified":"2026-06-05T18:48:32Z","type":"item","id":"Q6200751","labels":{"en":{"language":"en","value":"Branching Time Axiomatized With the Use of Change Operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7806940"}},"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":"Q6200751$D60CF584-4FA7-488C-A0E4-D53BE23A0F78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ab48bbb161f1e4e43d731034bad16f7525d1325","datavalue":{"value":{"text":"Branching Time Axiomatized With the Use of Change Operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6200751$658F59E3-3AA8-44C6-A54A-3787CC2B0CED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"110cf2d13bc0c342e6be9209eedbedf1585cafa3","datavalue":{"value":{"entity-type":"item","numeric-id":2275104,"id":"Q2275104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200751$B100590E-F9D8-4654-9ACC-C29E0FC244E8","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":"Q6200751$492B114E-FC2C-414A-B403-A3E1672B3940","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"784010021c88b1a18d10951655f679e8f8b60223","datavalue":{"value":{"time":"+2024-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6200751$1E81353B-E39E-4687-A459-71A59FA8F055","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200751$08072728-C5F7-4C71-84A6-88B10290E8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200751$946A8198-6965-43E6-9ED4-345214897976","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6b49c68f1f5c5bec137efc89bfb7e1e7a239479","datavalue":{"value":"7806940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200751$9F818096-9531-4FB6-A9BB-FBEAB59CBECB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200751$CDC4911B-72FD-45D2-A76E-82D8A12A838F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200751$148BC38F-40FF-43E0-8CE7-B48C64045271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c08de1983a7402b3e4429f1f580a7eb726cd1210","datavalue":{"value":"change","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200751$0CE5106A-934F-4832-91CA-82AB967507FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c8949d46b7b8d1209aeb54d2d5eeaca84881642","datavalue":{"value":"\\(\\mathsf{UB}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200751$9BC13565-4D98-4F88-AA99-9394AFEB7218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e2ae6f680476ece87dd1ea1a9eb0dbbb6e7bdd9","datavalue":{"value":"\\(\\mathsf{CTL}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200751$017912C4-6F60-4ED9-96BC-80F0531EAB49","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":"Q6200751$19AC83AB-9B25-4FA3-B495-2F6A8510118E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fb4fcd5cf98dd827f13f85984cfd6d285d886109","datavalue":{"value":"Q114092079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200751$BB37C08D-17BD-44FC-88D6-AAA2B005EF59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c48f511d6157b96cb246a73cd808f5d720ca41a9","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzac051","type":"string"},"datatype":"url"},"type":"statement","id":"Q6200751$6EAB0B68-692E-4B6E-B95D-DDD1DD068610","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0d1354fa0b8888264e9c5a1a35164096fb9324a","datavalue":{"value":"W4283217772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200751$EC5297E5-8402-4A73-A823-A2EF38AECD56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70d3e9a6b3783ed4fd0f6c38cb7a614c0eb94ceb","datavalue":{"value":"10.1093/JIGPAL/JZAC051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200751$EC2C945A-5F23-4BB5-BE6E-D475598E1CAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c32de5bc4d694e7060f14d2a244442fc3d183c6","datavalue":{"value":{"entity-type":"item","numeric-id":6639556,"id":"Q6639556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4cd939e945e3d8767f6337fee64e4716256fd26","datavalue":{"value":{"amount":"+0.800618588924408","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":"Q6200751$627DF2D0-26D3-499D-A844-1EEB2136C215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0643b632a0ed055498dcb543431d7ff8d7d5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":5283800,"id":"Q5283800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07733b4263edf9637b7d768b4e104b094c15286f","datavalue":{"value":{"amount":"+0.7902790904045105","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":"Q6200751$1A85C836-ACF8-499C-8A91-B873D46F2F6C","rank":"normal"},{"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":"e7ba4f2dd2ccb17959b1803e48dae0e2c09a4688","datavalue":{"value":{"amount":"+0.7679741978645325","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":"Q6200751$70107A7C-D6B5-4C46-B992-3766C25A5AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32ee91991ec01b32eee21f189607c13ffcb34bc","datavalue":{"value":{"entity-type":"item","numeric-id":3826521,"id":"Q3826521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f7f5b7cc8e37229e5da81b6882fba026cf5c7f","datavalue":{"value":{"amount":"+0.7657673358917236","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":"Q6200751$EAEF813E-BE52-41F9-AEA8-06F79F13BC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21bba9bb1d120a5a91d6c7c48e6a3b546e5e7e3","datavalue":{"value":{"entity-type":"item","numeric-id":288245,"id":"Q288245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d5e30d4119d4342ca8dfa5feeef1fe7f831ecb","datavalue":{"value":{"amount":"+0.7531853318214417","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":"Q6200751$EFEDFF08-6995-441A-AEB4-95A9B0F6DE05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Branching Time Axiomatized With the Use of Change Operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Branching_Time_Axiomatized_With_the_Use_of_Change_Operators"}}}}}