{"entities":{"Q3380985":{"pageid":3391688,"ns":120,"title":"Item:Q3380985","lastrevid":54102962,"modified":"2026-01-26T06:21:06Z","type":"item","id":"Q3380985","labels":{"en":{"language":"en","value":"Model checking of fuzzy linear temporal logic based on quantum logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7403795"}},"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":"Q3380985$380E2256-849C-476E-84B1-79F33585B87D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c4a5a208e09a3abac43bdde1ca4de5ecfa2a7ab","datavalue":{"value":"1488.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380985$0D5CF9E5-B0D0-42A1-BB39-F35BFAD7E82F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d78f09781b1822c01a0f396e850b9a1b6af3ff4","datavalue":{"value":{"entity-type":"item","numeric-id":2196148,"id":"Q2196148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3380985$1D2CBA01-7268-450B-93D9-E0CAEB1D2A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76b72513186189bfb8aee2230a731d0d4dc9aaa7","datavalue":{"value":{"entity-type":"item","numeric-id":1795010,"id":"Q1795010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3380985$5BCABC03-8BCF-480A-B874-73AD1C02C18D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"08f958bcd007d66f544d9bae915df1a118412385","datavalue":{"value":{"time":"+2021-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3380985$21CEBCCE-138B-4697-9E9C-306839B3A16B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380985$B877E0B5-3248-421A-9B01-D2BDA3C5EC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380985$770CF747-42E9-4456-90B1-B6C329435E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380985$26A4B3E3-1EC9-4B74-BAB8-00C2F0DAD7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380985$3CC32714-1B2D-4ECA-82D9-0BD063DA2915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e71d0fb4ae1baebe39868d4bbe44ab9f6fd4d2f1","datavalue":{"value":"7403795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3380985$76696ECE-2CCC-4999-B0A1-A079B1FFB140","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380985$31133245-DCA5-456B-A3DC-276E679D1AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380985$2B31DA85-88E1-4B98-A590-91213EC4D3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380985$722682FB-7623-4298-9497-E89DDDD62148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47350472417905348e33fb34badb8a1bdd186884","datavalue":{"value":"possibility theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380985$B818260E-FCE1-4054-8FBB-7B383B72BB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d26c908327caa4aa9a9d16c9247083497ec100b","datavalue":{"value":"generalized possibility measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3380985$8B8DC7D6-D04C-453D-801B-36424A216ABF","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":"Q3380985$956EFC0F-372F-4481-A820-3D20D0B60A25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601bb904986fe647403fef88f942b732e6f5e2b0","datavalue":{"value":{"entity-type":"item","numeric-id":1697514,"id":"Q1697514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba9c6a0666af14b570515e405acdcbf68ac2ca8","datavalue":{"value":{"amount":"+0.8559207320213318","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":"Q3380985$FD2704D5-9583-46BA-A651-C188FFAAC499","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":"4636a524e30de204273ec53d34fffc068812948b","datavalue":{"value":{"amount":"+0.8095732927322388","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":"Q3380985$170C0BBA-E13C-4DEE-A2F0-4360BA1E992B","rank":"normal"},{"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":"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":"Q3380985$D3E66E2F-7E1A-4F89-B2B7-CC6BC5024F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4ddabed42e129b7118a7efb54b9a6e945e883c","datavalue":{"value":{"entity-type":"item","numeric-id":5260751,"id":"Q5260751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d62cc73d7414a27231e1da4bf9ea9361d79676","datavalue":{"value":{"amount":"+0.788236677646637","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":"Q3380985$78AB3C5E-CB6B-408F-9D9A-B0A4D1E2AED8","rank":"normal"},{"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":"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":"Q3380985$25BCD2E8-9A64-4967-A221-FF70F24E4A1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3380985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3380985"}}}}}