{"entities":{"Q6596703":{"pageid":14207860,"ns":120,"title":"Item:Q6596703","lastrevid":103657877,"modified":"2026-06-06T07:50:54Z","type":"item","id":"Q6596703","labels":{"en":{"language":"en","value":"Generalized possibility computation tree logic with frequency and its model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7905213"}},"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":"Q6596703$B88B5465-99F8-4DA3-B806-39BEF2102341","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e6910cdb333004924b2dbddff1049de8a83f295","datavalue":{"value":{"text":"Generalized possibility computation tree logic with frequency and its model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6596703$22C10A43-C17A-436D-BB13-9880E98FB714","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3815bc66091dc7ad1d381680d134885fb840ceed","datavalue":{"value":{"entity-type":"item","numeric-id":246042,"id":"Q246042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$D0F19516-205E-42EB-8057-4DD85E7661B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff7407d2ffff325ca60ba12f8a8b0d6c38b133f8","datavalue":{"value":{"entity-type":"item","numeric-id":6596702,"id":"Q6596702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$2EEB03F2-58A8-4E7D-A156-5FEB9BA677FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c09916c85d1295953228563cc36573b73d2c724","datavalue":{"value":{"entity-type":"item","numeric-id":1595240,"id":"Q1595240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$5DC78C16-1BCE-4150-AA5C-A0059BEDB966","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$15C3E9A1-0FD2-4865-A5B2-03E8E9D3CA3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bfc786b40d8a5fa87ca182c2b12d1c6b9468c5a","datavalue":{"value":{"time":"+2024-09-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":"Q6596703$64291440-7149-4237-9553-52160B7A0F8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596703$FCC988F5-4880-4906-96D1-BB1D8B7AA70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596703$1135FE43-3461-4B94-B28C-1F45C22C448E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596703$AFC8BA1C-65B1-4BBC-9026-8173E5F47E8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f759525194a7eed3701fb4d228b30269eb673328","datavalue":{"value":"7905213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596703$5EBE0932-6D20-45B6-B78A-8F4B52A4BD28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47797db01caace515b2c61395107ecf458968429","datavalue":{"value":"generalized possibility computation tree logic with frequency \\((\\mathrm{GPoCTL_F})\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596703$D5545179-6DB2-4EE4-8B22-DE61B42D64C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47350472417905348e33fb34badb8a1bdd186884","datavalue":{"value":"possibility theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596703$E6FD88A2-E0E5-4B77-94E0-C8D7CA78B3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b8175f561b075cfeba1972487ab0a609f5156fd","datavalue":{"value":"fuzzy temporal operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596703$75934ED9-13A1-45D3-811B-4927E80E570D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b70be4efdad38ebf9954089c74a6348f70c762","datavalue":{"value":"frequency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596703$8FB8DF65-6A4E-4AE8-A7EF-5BCE9C415F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596703$D62AF17B-DE46-4B48-AFD1-C6E3AB5147AD","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":"Q6596703$92DC2BDF-20C0-424E-9BA7-B542229A3801","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$04E313B3-5DE0-48BB-9C7C-E94AC319DD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$6B27BA84-CA8E-439F-9F03-3EADB03EE5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$3C45EEC7-0F38-4D3F-A2C5-BD2BF0A712A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f838e7aa71f3735c1e5592b1b1b02dcdde69da","datavalue":{"value":{"entity-type":"item","numeric-id":6096592,"id":"Q6096592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$C2B15DB5-05AA-46C7-ADB5-F33D8E81ABD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6098ada005648c58ca208626e400cd85636e999a","datavalue":{"value":{"entity-type":"item","numeric-id":1697514,"id":"Q1697514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$54C9B49A-E410-4B66-87F8-2F10D8EF1E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc907f5b8e756fa7912187d0586f4a6cebc2f56b","datavalue":{"value":{"entity-type":"item","numeric-id":2213111,"id":"Q2213111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$E8CF9376-BE41-4D95-955B-5DC346E1BD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96999696306f354a4d5eae2e096ab483e8d71c8b","datavalue":{"value":{"entity-type":"item","numeric-id":529056,"id":"Q529056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$01596FA5-75C6-4346-9166-2EF7802A74B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c665279d7e5b45c3e1b50e2b8d2dac4d92cbfdd2","datavalue":{"value":{"entity-type":"item","numeric-id":529055,"id":"Q529055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$50697CDE-3199-4B86-809C-7D9199902D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5ebe028c62a501c4e33bfb82755316ea2735bf","datavalue":{"value":{"entity-type":"item","numeric-id":2090217,"id":"Q2090217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$95FE3E50-C09E-44E6-B618-3BCEA26CF43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e804294a77b8e9db63e62f1ae2c5f43253ac283","datavalue":{"value":{"entity-type":"item","numeric-id":2270389,"id":"Q2270389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$F206FCBD-9A01-4EA1-9970-1F6C1D48B50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5999c0149b370a8920153e91179f049f665f2c05","datavalue":{"value":{"entity-type":"item","numeric-id":473367,"id":"Q473367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$749BA54B-38B6-45E0-BADA-5364CEF1796F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca2824d41359829bbbc93afd53f9d13cff2a3da","datavalue":{"value":{"entity-type":"item","numeric-id":511624,"id":"Q511624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$76CA7397-046C-4AA6-8F1F-0BE43C1F9227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd8a7ede49c3bc6b6b78b234e61b3a8c089555d","datavalue":{"value":{"entity-type":"item","numeric-id":5357703,"id":"Q5357703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$D4689C57-69FD-4ABD-953B-E35D7AFCA950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a1bb0fe03241742c94c29e3f78acb3bf4392bd","datavalue":{"value":{"entity-type":"item","numeric-id":4965871,"id":"Q4965871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$9E35F70A-3E3E-4989-951E-35AA26EDDF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$F3541F25-9FB5-45A1-9930-920D1C8846E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e69ce7e7df50206769f5d11e1d20775dd96cad","datavalue":{"value":{"entity-type":"item","numeric-id":1246531,"id":"Q1246531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$D5A8EEFD-603F-4DD9-ADF7-A0E4F483E638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f9aeb4fceb64ce8c385f1573a74fd0c52d6959","datavalue":{"value":{"entity-type":"item","numeric-id":1010346,"id":"Q1010346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$DC91380A-DFA9-4E7A-A842-977F3C062E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461c74e2dbd81f9cf68d4b4535b126e0125a0ebf","datavalue":{"value":{"entity-type":"item","numeric-id":2349793,"id":"Q2349793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$172588F1-314C-4011-8D13-4001B7DB4CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b3a4455a01f695b0b01b5a2eae65b3e1eaa1a40","datavalue":{"value":{"entity-type":"item","numeric-id":5183524,"id":"Q5183524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$60A78266-7AB0-46DD-A48F-FC1392D2ED8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b342aa7a294688bc61c4c30bbde2d9177f02be","datavalue":{"value":{"entity-type":"item","numeric-id":5117204,"id":"Q5117204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$3B6D413A-1CEC-4D7C-BBAA-CD94D96A2C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48178364e8935e8c0ac5eed59d3839a1952ac29","datavalue":{"value":{"entity-type":"item","numeric-id":4636572,"id":"Q4636572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$2B48A5A6-5845-44B3-80C2-8FFA20EF1896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548522b13182887b95d8a4ac6028a23ca31c0b6d","datavalue":{"value":{"entity-type":"item","numeric-id":6064254,"id":"Q6064254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596703$965CF5FD-0B68-4ACC-AF50-1C29BA975A31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f0a3b1d0b4aa636ed8af93f63339d74a49292b5","datavalue":{"value":"10.1016/J.IJAR.2024.109249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596703$241D4973-6438-4534-ACB0-214539E81310","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized possibility computation tree logic with frequency and its model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_possibility_computation_tree_logic_with_frequency_and_its_model_checking"}}}}}