{"entities":{"Q6204992":{"pageid":13339879,"ns":120,"title":"Item:Q6204992","lastrevid":55628749,"modified":"2026-02-17T19:59:34Z","type":"item","id":"Q6204992","labels":{"en":{"language":"en","value":"Computing sufficient and necessary conditions in CTL: a forgetting approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7830635"}},"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":"Q6204992$88913EAC-4566-44A9-8B16-5E8413628840","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbac09456d586f929a9a51fe114db22c62e6d500","datavalue":{"value":{"text":"Computing sufficient and necessary conditions in CTL: a forgetting approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6204992$06BCA5A1-49B5-460B-95C2-B773BA3E6640","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7c1b8cdf692221048b96874f674aee400a5db5f","datavalue":{"value":{"entity-type":"item","numeric-id":6204991,"id":"Q6204991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$379B6B14-298C-453C-93A3-A8DBE03D7A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb4f533a5405f5a6f1f7d1e1a474dc033734d09","datavalue":{"value":{"entity-type":"item","numeric-id":2060728,"id":"Q2060728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$6102179B-BEE1-4C3B-9252-C0B87E506D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5a6d28082a823e55db83339b2b8bb853ec164ff","datavalue":{"value":{"entity-type":"item","numeric-id":645080,"id":"Q645080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$23DF180B-95BA-4BDE-946D-EE116481979A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"516f52fd1e79844cbe7b2f5aeb3aef6232b4b628","datavalue":{"value":{"entity-type":"item","numeric-id":364385,"id":"Q364385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$341115D8-437A-4C60-AF79-C6C6E78B93A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"869ec75fe4ab50e2248051b39fb15b7d7aa039e0","datavalue":{"value":{"entity-type":"item","numeric-id":2060750,"id":"Q2060750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$C4C6903E-A597-471F-BC1D-FEE40760A6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf7b80f1c2daef7f850ea7c62d5d95682f427d","datavalue":{"value":{"entity-type":"item","numeric-id":547761,"id":"Q547761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$59CB3878-45D9-4249-A2E3-73A0A3A9161B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$5B5843D1-6866-4FA1-88EF-45C88FA57696","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4de28aed1cb3e3d9290a140db1dc1d565234418","datavalue":{"value":{"time":"+2024-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6204992$E731BEB1-79B9-42E0-A4CA-AB76F08C692B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204992$C945ACF9-2243-4B8D-BD5B-17901E8EC12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51d647e27b28911428d1e10e901ad03eba3d6a07","datavalue":{"value":"65-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204992$D1B71B31-624C-4054-BFE4-C4708117EA4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca7eb9d47db19cb0fa36d5dc3e978bedee42edcf","datavalue":{"value":"7830635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204992$7FF6122A-30AE-430B-8A35-514A9B98192A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204992$2FED000F-2F29-45FF-9E90-5AF285BF0A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b2cd1ff4b4ec358a0f04030c8cd19875b686c6","datavalue":{"value":"forgetting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204992$187CA9AB-CA90-4A90-B594-BC69FDF827C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a372de502b80972095caef9e5a20d3a20a46347","datavalue":{"value":"weakest sufficient condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204992$3D584227-21C7-4177-9E45-52EFB0D118F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204992$49EFA7A4-C966-462C-9599-9C527B7A978C","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":"Q6204992$8FB71D73-3DE9-497D-80ED-AD8FE0786902","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dbf4b54418af950230d2eb6b7b5cccc6bbc0e15","datavalue":{"value":"https://doi.org/10.1016/j.ins.2022.10.124","type":"string"},"datatype":"url"},"type":"statement","id":"Q6204992$2BCA3397-9283-4130-9310-420C84788015","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cfd173d93f13187addc3d9ba6dc7abfb16af665","datavalue":{"value":"W4308178008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204992$67401744-CD2C-498F-97C6-4FC7ECE5DDCC","rank":"normal"}],"P223":[{"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":"Q6204992$A28EF3E0-761B-4EF5-AFAA-7959ED9CC1D2","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":"Q6204992$64E48A96-0E3C-472E-8452-1205C9203354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12157adbd99e3bcd460b144a134f949545ba919f","datavalue":{"value":{"entity-type":"item","numeric-id":2285155,"id":"Q2285155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$D8BE8DE0-9DDB-471F-BEEA-400AC0026716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82dd0afb25b83efa31e0f654ed4914ddfe1c257","datavalue":{"value":{"entity-type":"item","numeric-id":831928,"id":"Q831928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$13FB116E-70E2-4D8D-87C8-8D5D36708BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b9b64cdeae407e379838936ec1ac3faf412194","datavalue":{"value":{"entity-type":"item","numeric-id":5941135,"id":"Q5941135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$1608B8AC-CE28-4D18-B889-703232B464E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$404096FF-0D51-4B17-A9AF-F9FE7FDE60CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822dfb55932366576e9dce49d4c9ea942ce94d64","datavalue":{"value":{"entity-type":"item","numeric-id":4240680,"id":"Q4240680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$FD24731F-3CC5-4574-86EE-9D83D5B8FA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08130677d950f0e9764f0a4bfbc64de21effa2bc","datavalue":{"value":{"entity-type":"item","numeric-id":4893140,"id":"Q4893140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$10C3C2AF-1A98-4869-89A4-DFC76C3F8D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4290318fb28004533dea98eae9fbb0d526ed49fa","datavalue":{"value":{"entity-type":"item","numeric-id":2321251,"id":"Q2321251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$90685B0D-7A8A-43DD-A7E6-D506F20ABD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95754338f7b2e3bf27ea8c2c9feabf3134e1cebf","datavalue":{"value":{"entity-type":"item","numeric-id":2389674,"id":"Q2389674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$9876D43C-08A4-4002-8630-399B6F1B9825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ccd4fc91874123b587563468a01b1a5f3290fa","datavalue":{"value":{"entity-type":"item","numeric-id":5417593,"id":"Q5417593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$695BAC2C-2BB3-4063-A6A5-988134161F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8280f5f8c4514e237d63af4d6da6aa3c2a068f6","datavalue":{"value":{"entity-type":"item","numeric-id":2211850,"id":"Q2211850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$E8EC3649-A85F-4159-9B17-F33FAAAC371B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8299d7936388ef72256705770d1b73dcd566a9","datavalue":{"value":{"entity-type":"item","numeric-id":2055801,"id":"Q2055801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$F73BB675-5650-455D-9178-48D537B35923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5030ea42b43f51ee022178deab3f1f97cb4cfb","datavalue":{"value":{"entity-type":"item","numeric-id":4434175,"id":"Q4434175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$AD2239B6-0102-4DB6-BA0D-BD9D8C7C7BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5606a0549a0200c2a92bac03c8f76e4386d9248","datavalue":{"value":{"entity-type":"item","numeric-id":5410337,"id":"Q5410337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$F3815645-8CED-4331-9B3B-4849B73718DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fadf047eae02acc752fd99fdb0f376c7d3dbf224","datavalue":{"value":{"entity-type":"item","numeric-id":3646173,"id":"Q3646173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$AA2C6E73-A5C1-46C6-B032-00D71CFE1A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a08887d822e7b4c25205595464bf9ea48151dd2","datavalue":{"value":{"entity-type":"item","numeric-id":5191106,"id":"Q5191106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$8737455D-3903-45E5-A630-0DBD8B0EA32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c243869ba0963401792b9d55bbba80b8cb068d1","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$6C16BE41-247E-4A2C-B90D-8664436D9483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3f60964ed57d86f2847571e03e4efcce710916","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$36C791CB-BCC8-4C54-92EC-D99482507EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204992$930D52AB-DD4B-4F79-9FC0-F46EABB29A64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fe47ab64aacb538b9c84e7d9a1fabe890b076fb","datavalue":{"value":"10.1016/J.INS.2022.10.124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204992$94E65585-C1D2-48AA-ADCD-4B263F5CB176","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdee2b6f207b5d23c4377934d52df3f652fda33","datavalue":{"value":{"entity-type":"item","numeric-id":6152662,"id":"Q6152662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff96a04a22eaa4e6817fec3abd4f4bc8312581d","datavalue":{"value":{"amount":"+0.7468225955963135","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":"Q6204992$62A09EF4-4DDF-4FE7-A27E-4968B18535CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899060a3527769911cc60a8b1b35b775c205b96d","datavalue":{"value":{"entity-type":"item","numeric-id":5431427,"id":"Q5431427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72140519350bc86111fd0398f37c5557ebeaea3c","datavalue":{"value":{"amount":"+0.7085890173912048","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":"Q6204992$04893550-0E8F-445F-868D-48A30020C20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"734acaf60addad0fcf33ede5cc7d034edfbbeffc","datavalue":{"value":{"entity-type":"item","numeric-id":4600732,"id":"Q4600732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615ac43bd036311cbd355a1bee838d80a6ad11e6","datavalue":{"value":{"amount":"+0.7055521011352539","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":"Q6204992$E81D7D05-525B-492D-BB9A-71AE5300EE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41dceda5b2b67b842f05a750364ee072e559d15","datavalue":{"value":{"entity-type":"item","numeric-id":6097773,"id":"Q6097773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b9f3ba25ffb5f4c0fd5688b110f31af2bcc4f4","datavalue":{"value":{"amount":"+0.705274224281311","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":"Q6204992$DA2A83CA-9345-47BC-8F21-67F6F41FF53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd3cbf7a2f81dcee58d2bba47340ab4f4536d36","datavalue":{"value":{"entity-type":"item","numeric-id":5145288,"id":"Q5145288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a58c8bc4bab1eebcc587339c1cb7ad98be8ed51","datavalue":{"value":{"amount":"+0.7007015347480774","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":"Q6204992$30C479E9-5350-44C3-AC59-4E9FBC4E29D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6204992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6204992"}}}}}