{"entities":{"Q2946742":{"pageid":2957462,"ns":120,"title":"Item:Q2946742","lastrevid":44769297,"modified":"2025-11-25T23:26:54Z","type":"item","id":"Q2946742","labels":{"en":{"language":"en","value":"Fuzzy Time in Linear Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483235"}},"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":"Q2946742$D443ED98-BE20-4DAA-A36A-0C312CB58357","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98fd06bd053e4103adf54122953ec5e9abdea4f5","datavalue":{"value":{"text":"Fuzzy Time in Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946742$AAAB837B-9DD2-432F-8DB3-A8C1E05C54E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58d50209778de3361f4068393784498237ec45da","datavalue":{"value":"1354.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946742$1E8CC939-DAE2-4A4E-B31E-2D343135557F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d9bb8b0ac45f2939cf37de490639475c4c8a357","datavalue":{"value":"10.1145/2629606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946742$0BD02107-E3A2-4D65-8466-91CF3011A16D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ab765b0cd805a0d720c0c32f8c71c92c0bee69","datavalue":{"value":{"entity-type":"item","numeric-id":370813,"id":"Q370813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$0D81EE56-9E5A-4E07-B1FE-0E410E735C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b929431baebe262088e1cb219a32edd1ff418fc2","datavalue":{"value":{"entity-type":"item","numeric-id":2946741,"id":"Q2946741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$9D104EDC-73A2-4A3F-B956-B999D3C246C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36f9775a15afc69e2b2803668d54a5345207093d","datavalue":{"value":{"entity-type":"item","numeric-id":2065547,"id":"Q2065547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$17347C92-02DC-42CE-AD33-15E3EE43108B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$1829EF32-22F0-4A90-94A6-92FC4FECCBCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946742$6429F8CE-0D38-47A0-991D-1A121B06144C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9af2a7ee9f84c3ae6115e3e1670b32fabc0b165c","datavalue":{"value":"http://hdl.handle.net/11311/1063814","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946742$289EB65E-323B-4354-8578-B00F197DDEE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946742$68E11668-D674-44FC-A4AE-6D550F2B0099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946742$0477716A-B222-4227-BF31-F9F2E0C36C95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6576e060e720b32629bf7b840fecf7d7a3009e6","datavalue":{"value":"6483235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946742$09F69A30-7D79-43AC-A388-9AB95CA38604","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"529d151741d7f5fd42900f9956c4b5d351addf62","datavalue":{"value":"fuzzy temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946742$FAFA194D-E526-41E9-ADFA-14171578ECD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72a4a65a375c4b850b4fffe56d017a093264bcdb","datavalue":{"value":"vague requirements","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946742$3354209B-B847-4759-AD19-30BD0919B459","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":"Q2946742$00384C7D-961C-4D14-ACF8-DFEC47A6EB87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19c0b417a34c5e19a03a8b979faccd164a2ba8a6","datavalue":{"value":"W2056186669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946742$78485BC3-19C9-4AAC-9869-17876CE3FD3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67cf68921371c49adfce9cf0f6418582fd911685","datavalue":{"value":{"entity-type":"item","numeric-id":816857,"id":"Q816857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$BB1903A7-930C-4DC2-9A40-965D6CF61AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d584ef02ff014ff7b98df140415271ae19a73","datavalue":{"value":{"entity-type":"item","numeric-id":3172864,"id":"Q3172864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$C36B6587-046E-47F6-BD3C-CA5FB63B14C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a00f6bcc175cf7a70d52e931b55caf5f4097cae","datavalue":{"value":{"entity-type":"item","numeric-id":1277792,"id":"Q1277792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$C600A4A9-9D3B-45AA-B732-B5A6DE98ED68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4557febfe43166275b526f096a284199bfccc929","datavalue":{"value":{"entity-type":"item","numeric-id":1407598,"id":"Q1407598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$F9D59C91-40A7-4D81-BB46-C40217C1D48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8dd1c5b022ff5e84bc8f54d3a8de91a65ec0ec","datavalue":{"value":{"entity-type":"item","numeric-id":5953526,"id":"Q5953526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$545CF53A-90FA-4CDB-B842-FC86B4EBD597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ffcd38af82eb3c5dd42cd2ae35de3d04b65fd0","datavalue":{"value":{"entity-type":"item","numeric-id":3929677,"id":"Q3929677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$07E3900C-83EA-4A3B-B717-063E870D5BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0befff8808c529c25e64d45002332c145267b185","datavalue":{"value":{"entity-type":"item","numeric-id":1115343,"id":"Q1115343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$093440EB-67EF-44FA-AC65-9446418DA791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$0378B8E4-3CD6-4932-B7E8-6469B89B91DF","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":"Q2946742$36EA41DA-6AE6-4C4A-91BE-161D33C70F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b54a2dd9a2085a52d684d7962240e64f022dc9","datavalue":{"value":{"entity-type":"item","numeric-id":1913299,"id":"Q1913299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$D00AEEBD-9734-4C47-828F-3276AD5BC0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ade6ac64be06a2b78795ee4bef71a43924c99fc","datavalue":{"value":{"entity-type":"item","numeric-id":5571687,"id":"Q5571687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$4FA42654-19C4-4845-AB11-876611CA5EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150d5a38251d435dbd79fe9ddb6282ff8380e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5571686,"id":"Q5571686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$4E6A9677-183A-45DF-A5AC-33A75A2C1E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774289da01a364e753a8f9f11afcdd0197edfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1575112,"id":"Q1575112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$7D5847DC-F7C4-430C-AB39-7B09D06ED53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f0903d68609a62799eaaba08787edb6e8deb9a","datavalue":{"value":{"entity-type":"item","numeric-id":3410626,"id":"Q3410626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$C995225D-C9C5-4342-8867-50780B1E28B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee462460ba78565646cbb8cdcbb0d58846ee5899","datavalue":{"value":{"entity-type":"item","numeric-id":2353964,"id":"Q2353964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$41A6C038-E6CB-4BEB-AF2A-DB442BB8574C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b84b320857cb5a9567b057aa767a83b8b185ea","datavalue":{"value":{"entity-type":"item","numeric-id":1144017,"id":"Q1144017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946742$44704830-C85C-46F6-830B-4E37EDFB84A8","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":"Q2946742$8DCF0DD2-1C70-48A0-AE07-F6E816F06391","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"713905bddfcf3b030f64f3d81f3ebff7d0cd8acd","datavalue":{"value":"Q130854291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946742$AF2606A4-0928-478E-B6AB-675938D689BF","rank":"normal"}],"P1643":[{"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":"573537b6245f1be82e959b1440f07ed13b3674bb","datavalue":{"value":{"amount":"+0.9236466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946742$DB3A2201-703B-430B-AD51-D4910ADDA7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e064dc3c779d4c9e84444ccc34a6b5152881ead0","datavalue":{"value":{"entity-type":"item","numeric-id":2389652,"id":"Q2389652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a08c505524aed9247beb46e208ecb8d29f4c9a1","datavalue":{"value":{"amount":"+0.907535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946742$E38A3865-D2F7-4329-B8BE-66AEBB5BEF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38793aec28cbe8ffd4a23923324d01b8c523cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4999269,"id":"Q4999269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520523cc5ffe042bd1c97e28b2d5d8017b0f41ec","datavalue":{"value":{"amount":"+0.900488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946742$FA4F9A3C-59F0-47CA-AE6A-BAB042840964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c8ba0be6c98756b69965673b46835cdac5b672","datavalue":{"value":{"entity-type":"item","numeric-id":4250960,"id":"Q4250960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effc73cefcce3fe5f5c874a17d111f2ff892e9ec","datavalue":{"value":{"amount":"+0.89159924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946742$E25C4A3A-20B0-45DA-92B8-EA583D4B51A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f88da05b297ad1f1071e438cb5985a2b3694c8e","datavalue":{"value":{"entity-type":"item","numeric-id":2328912,"id":"Q2328912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d18136c1674890f8d57832753d4ab97389d9335","datavalue":{"value":{"amount":"+0.8874343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946742$53E252C6-6CC6-4617-9892-6C8C7DAB4727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a3922706a3dd849f10d537b9100bb8218d4dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":5946476,"id":"Q5946476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1572a5cc66137689b6add0f96b7769255e21498f","datavalue":{"value":{"amount":"+0.8871405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946742$5B1291C2-F8CD-437E-B513-473E9CA9E071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b0381463c53bb66c44f66246b8460a24fa8439","datavalue":{"value":{"entity-type":"item","numeric-id":5411415,"id":"Q5411415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7253de2c286210c1e32dfd6f564011a8776e938b","datavalue":{"value":{"amount":"+0.8815562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946742$A686A56B-145A-4C53-AA01-2B05B23B1B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaeb87ff3136ae6b6de3aa4b081aa0881c55b2ab","datavalue":{"value":{"entity-type":"item","numeric-id":1610489,"id":"Q1610489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e1daee4c2ce6f8d8278405a9129f1357f498e8","datavalue":{"value":{"amount":"+0.88094187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946742$58A9FF03-37EC-456E-BE62-60A081891A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"754212b00930fa9bd62404914d4aff6f7825fcf3","datavalue":{"value":{"entity-type":"item","numeric-id":3373937,"id":"Q3373937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dcf7a113595544c88ba721a4c5aff38b89fd065","datavalue":{"value":{"amount":"+0.8764598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946742$8323C47D-7742-4A7E-A2DC-A291BACA335A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946742","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946742"}}}}}