{"entities":{"Q2355383":{"pageid":2366126,"ns":120,"title":"Item:Q2355383","lastrevid":52310423,"modified":"2026-01-21T10:14:24Z","type":"item","id":"Q2355383","labels":{"en":{"language":"en","value":"Abstraction and approximation in fuzzy temporal logics and models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6463408"}},"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":"Q2355383$E461B3F8-6705-4A8B-9754-333CA83B9732","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"391631e7f4420d2d571f55669658970ec379afc3","datavalue":{"value":{"text":"Abstraction and approximation in fuzzy temporal logics and models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2355383$BA15B28C-6E2B-438E-B4ED-DE96BAA3A245","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1deb250a3c35ee3d01c9c10f58726d8315395d9","datavalue":{"value":"1331.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355383$54A978E8-6E26-4E2F-A2E0-72ADE82D676C","rank":"normal"}],"P16":[{"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":"Q2355383$D0911B32-8A62-456E-8F0F-935AE2DB6DF3","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":"Q2355383$F7CB3DD9-21D2-4500-9AD2-95CC66BD05C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355383$12CAE455-9127-455A-9509-A4F4D9AD9991","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a52122e330a715e7d863b59e64df5997f01e79a","datavalue":{"value":{"time":"+2015-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2355383$9AC72F01-689B-40F2-A34C-52EE0F5AF54A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355383$7308F190-525C-419C-930E-EA311FAFC45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355383$E03F750E-A99B-4C8D-A84F-F597B6181D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355383$2CC9ED4D-AA26-4D9F-8AD6-EEBC2BFB41DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9252bff6cc3da18d809cd09cbd8935874dada098","datavalue":{"value":"6463408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355383$4C6C7D75-9DD4-499D-9CFD-2A445FA5B77D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355383$AAE41A69-70D2-4437-AF8E-B0BC639D1C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355383$D01188F5-A49E-4E9B-8A5D-3D250CBA745E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96f01d8eace10942469fe3a777581510cc0aac2d","datavalue":{"value":"fuzzy Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355383$84F14B3A-FD47-48BD-B997-E19900AF4AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"529d151741d7f5fd42900f9956c4b5d351addf62","datavalue":{"value":"fuzzy temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355383$D512209B-BD09-4E9E-BA2F-954D71AFE435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355383$359C9489-62A8-4A8F-B7CD-0C0C9F37FEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93260d2e1a875356460bf34fb9a7cb043f467f33","datavalue":{"value":"fuzzy program graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355383$51D0ACF7-A0D2-4A7D-8131-7D8A79AA9124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765d34b4e17b1a94266e81c4aef0649e0319b95b","datavalue":{"value":"multi-valued flip-flop","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355383$C41F2B19-0141-4C1E-810C-1CCCE147F6BA","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":"Q2355383$43F93C38-E28C-4F10-A641-A3C1DB95461B","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":"Q2355383$F2201AF9-B22C-4635-A1B9-4E4105C9E71C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e9833c246bd9d554b5722c55846a5f5175bd44b","datavalue":{"value":"https://doi.org/10.1007/s00165-014-0318-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2355383$5555A37C-F5FE-4EAA-A91F-1CDDF28714E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88d8149823ae3ac0655d78ce9413500e6bde04d3","datavalue":{"value":"W2005937939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355383$3D8E8882-4542-493F-B2F4-9285C0BA61E8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1126cbb63efb921654d55628b141d971db8a96e3","datavalue":{"value":"Q57835192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355383$1D12E9E0-44A9-4A03-99E4-4FF0682E8037","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355383$41328FEF-D7C6-40BC-83D1-F8DB4E52A32F","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":"Q2355383$AFEF94AB-E3E2-4960-A3AB-B5ECEEB84557","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":"Q2355383$154FDF9A-3F0B-4FA1-8C29-2BB52BCEE596","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":"Q2355383$61B98946-8972-4141-8AC8-6820A71C548D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04a17e91a99d2fe41746336d6abd8beba1a1a5d3","datavalue":{"value":{"entity-type":"item","numeric-id":4775475,"id":"Q4775475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355383$B63E06B7-59A1-48F8-A618-52626236D780","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":"Q2355383$933C2EA3-4CD4-4180-8CCF-92CA620C682D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f815104cf8668a5d264deb2fb9f91c966d1d354","datavalue":{"value":{"entity-type":"item","numeric-id":5473747,"id":"Q5473747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355383$30E733D0-3F59-4C06-BDA0-2A6694814AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea05a2b5ff03d93249b91088d97c460c137582fc","datavalue":{"value":{"entity-type":"item","numeric-id":753799,"id":"Q753799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355383$5A66E41E-12F4-47C1-9C27-62F52FE9529B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355383$AABCD1E2-CF34-4F5E-AAE1-7FCD83D81CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1cf7633a2264a38105de0f8d3e4297424df3d6","datavalue":{"value":{"entity-type":"item","numeric-id":4520282,"id":"Q4520282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355383$1952CD7B-4F15-4C0A-8994-1C5F3A2F4367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc36368f80a66f5158db4d76bfa148823c47a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355383$68AA2E07-26BA-44E0-80C6-CBF98A7A3FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645c248b799110e0295b4065710f8300f24dbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":4818743,"id":"Q4818743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355383$B7F5B442-6620-43FB-A7D5-C9D978E7A09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425fe6a9b4e13841fc74383d1f37be0bb943dca0","datavalue":{"value":{"entity-type":"item","numeric-id":2785419,"id":"Q2785419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355383$36072B4F-E677-4C7E-9E29-D32FF5B0F795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cddc07b6ec70c09e66c3513940294b0a36ba703f","datavalue":{"value":{"entity-type":"item","numeric-id":3914889,"id":"Q3914889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355383$FC8DF306-A697-4DBD-B2E2-53E1BE8C9E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355383$FEF49E33-E590-4704-AE3A-266B8F5955A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8658e6d71d7258b809c478c332d93b25a4d9b43","datavalue":{"value":{"entity-type":"item","numeric-id":4782696,"id":"Q4782696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355383$F2548BBE-D730-4C5A-B7C7-798A4AA3F353","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b794ab34669e93589e9dd2b78292404fb0b9212","datavalue":{"value":"10.1007/S00165-014-0318-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355383$09A0CE1B-EFD0-464E-AC2E-1C1605DB528E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ddbfd93b0ce0f8981513007bf25b0d0c4cbcf9e","datavalue":{"value":{"entity-type":"item","numeric-id":1713411,"id":"Q1713411"},"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":"Q2355383$AFF8B193-D241-489D-9B79-3245B6CB400C","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":"9a86d6b4e2c0ffdb097dad8075b3ace13edc3757","datavalue":{"value":{"amount":"+0.8445106744766235","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":"Q2355383$86E6EAD9-A90A-4615-BC10-55449976D2B6","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":"7fadd4fb92bae31a02ae3b72add9672f93bcf0f6","datavalue":{"value":{"amount":"+0.8050505518913269","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":"Q2355383$AFB6535A-CBD5-4FF8-963D-BFD95A80F752","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":"48460f74f71d097ac85e49061ade995df8273dc5","datavalue":{"value":{"amount":"+0.802021861076355","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":"Q2355383$59C9259F-A92A-4904-859B-7FF426E30706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56513c4ac4a147b51fc6a2c3641d078bd0c4b321","datavalue":{"value":{"entity-type":"item","numeric-id":2219078,"id":"Q2219078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d2c88fc8200a8cac6fa7112b5fc2ec60e137b8","datavalue":{"value":{"amount":"+0.7562053799629211","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":"Q2355383$448EF3B0-5BC0-4005-855D-8A875892ACDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2355383","badges":[]}}}}}