{"entities":{"Q1713411":{"pageid":1724152,"ns":120,"title":"Item:Q1713411","lastrevid":71206641,"modified":"2026-04-13T20:26:59Z","type":"item","id":"Q1713411","labels":{"en":{"language":"en","value":"Symbolic checking of fuzzy CTL on fuzzy program graph"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7006680"}},"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":"Q1713411$B6C53AF3-3C94-44FA-AB22-39E185F5EBE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4af556ce6685647ddda57c98840f3fafa9584454","datavalue":{"value":{"text":"Symbolic checking of fuzzy CTL on fuzzy program graph","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1713411$9FCC8511-2E0A-425F-8408-2B1FC9454A2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7947c13e1b42ca17e68b619888ca4b2145aba582","datavalue":{"value":"1410.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713411$9243B74D-3DDC-4A8F-8244-0A72455EAFAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3174bdda8f61c53c90668a925b371c7de341cc8","datavalue":{"value":{"entity-type":"item","numeric-id":1713409,"id":"Q1713409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$2E93883F-3474-4A58-882A-9280B32F1DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abe75873eda2b05e0e2f0266e0b8bda95ce35b99","datavalue":{"value":{"entity-type":"item","numeric-id":1713410,"id":"Q1713410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$4807A8B3-6C27-445E-96BE-516D87AA734F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cad69ab3ba9aac6a1b46027bca527d9afd64673","datavalue":{"value":{"entity-type":"item","numeric-id":549193,"id":"Q549193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$A2B74BB7-ED12-4C45-9CBA-E95329B10E02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$5EBD3290-6022-4D64-AE72-FBD52F309A85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"131839c99eab3d4b3e32038ae3e6b5905496559f","datavalue":{"value":{"time":"+2019-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1713411$A303B2D6-B5A1-46C9-898D-6BC94FBDD23C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713411$9C4781D8-FE4F-48C6-9D96-091856342A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713411$29EB9592-87F4-4533-81E0-C54CEA860034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713411$9640EE35-7765-4CDD-9444-C7A8C1FC9DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d765cc4b218ae225bb23e4f50aa85c5b7550ef66","datavalue":{"value":"05C72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713411$61334C64-12BA-4D7B-9AED-DDC113EE57D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d4b58c4dc92e0cd13f065c58ed564a852e25339","datavalue":{"value":"7006680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713411$A1A1ACAC-534B-477A-ACD9-E40AA825AF56","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c08b821e2757e65336a65d387f7a2d3401521642","datavalue":{"value":{"entity-type":"item","numeric-id":17930,"id":"Q17930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$1F88F5BC-E494-4930-84BB-C31668032CA9","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":"Q1713411$8A52AFC7-DAF1-4AEA-9EE3-96B344DBDE5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31a3e8ac0f14b4f36de3416293cfb1eb59177414","datavalue":{"value":"https://doi.org/10.1007/s00236-018-0311-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1713411$445189C4-827F-47DE-9633-10E9CFBF473E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c71e1cc2b9812087605428fae79a5de209b01e73","datavalue":{"value":"W2786932691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713411$897DC7F8-F4C8-42E5-BC41-590C472C5491","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0740effd2952363cf8d6d6d1ab8bd7660384992","datavalue":{"value":{"entity-type":"item","numeric-id":702269,"id":"Q702269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$8EA1452E-43D7-4922-94C6-E632F043200D","rank":"normal"},{"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":"Q1713411$9B6AD068-2517-4CA9-875B-6C04722AC217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$EF6D630A-54FF-44F7-922D-5FAF20C4322A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06f6d90e3236a929532aa1862e383e0fb9e24ea6","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$48656211-6313-49CE-A0BB-2D0E8B5BE82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5a4ef9c2d07db759cae7360b9f45883aa9ce65","datavalue":{"value":{"entity-type":"item","numeric-id":862857,"id":"Q862857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$885E2468-E2D5-43CA-8A83-67C3D5BAFA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be30b8293c6abc6be5e34e36fa72af8dfc73e699","datavalue":{"value":{"entity-type":"item","numeric-id":2946742,"id":"Q2946742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$B77BF02C-9DB9-40E4-A9EB-891E3761085E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$275B0789-5C25-40E9-8C19-C25892795C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$F33AD697-27F0-407B-B1E5-15810531593D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$08196BFD-C3A8-4023-81FC-0EFBF670C417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd52f10d81f6fb7a14375bf3fc493e0c93aea8aa","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$977B2780-0053-4CF1-98C3-5A190122C6C3","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":"Q1713411$D4BDA55B-A9E2-4DB9-AA60-AD9BE1FD4E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c315205493736bf765596a7b078617da96c590a7","datavalue":{"value":{"entity-type":"item","numeric-id":4872060,"id":"Q4872060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$6D242F4E-CEAB-4A41-9F69-C761506C2DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$43AF019C-5017-40FC-90C4-EE09EF67034B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9f18a3920d28f858c2be699e60f2c137de0158","datavalue":{"value":{"entity-type":"item","numeric-id":2355383,"id":"Q2355383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$11827F83-5554-453A-97B1-750101653138","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8db5b3a72eb1cad40525dd9907a67b00f9e648a","datavalue":{"value":"10.1007/S00236-018-0311-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1713411$5E4F7E58-A7DA-45A3-9228-0A7D54320BD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d9aa8059bf481fe2f7601588e031d2cff14cc7","datavalue":{"value":{"entity-type":"item","numeric-id":2355383,"id":"Q2355383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62f37a4165ebb69edd75308fc5d2094deeec83f","datavalue":{"value":{"amount":"+0.8706092834472656","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":"Q1713411$97201915-85B3-4FAE-A95C-64A595486B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428c5abf64e437fe77edb5651c3ea07183dc9c9e","datavalue":{"value":{"entity-type":"item","numeric-id":529056,"id":"Q529056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65dd007983d8a081e8c453758f8fd806e1c5d1d","datavalue":{"value":{"amount":"+0.8327425718307495","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":"Q1713411$D55DCE45-83A5-4F50-BCD5-6638E50546C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d920a6a07de6504b02bcfd0523b367f72e2ed684","datavalue":{"value":{"entity-type":"item","numeric-id":3380985,"id":"Q3380985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d16e290d9318da85359c82c101c54cd851280f9","datavalue":{"value":{"amount":"+0.7756626605987549","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":"Q1713411$AA3F3302-23EA-4694-95A1-9B7D6592E024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0496a7e3aad23b09d910df97b7b385335edf42","datavalue":{"value":{"entity-type":"item","numeric-id":2353964,"id":"Q2353964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef049ab684ae68a2e0fc66f95fbc510157c7ca02","datavalue":{"value":{"amount":"+0.7514152526855469","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":"Q1713411$727D08FD-0601-4808-A77A-F6667A206795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173da7597429af879b39f8c9fe40396e0c4638d9","datavalue":{"value":{"amount":"+0.7328299880027771","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":"Q1713411$FA791791-676D-4235-9513-45D26D521C0B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1713411$1E819A5A-5166-469B-AE2D-38838BCC0838","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic checking of fuzzy CTL on fuzzy program graph","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_checking_of_fuzzy_CTL_on_fuzzy_program_graph"}}}}}