{"entities":{"Q3643153":{"pageid":5673059,"ns":120,"title":"Item:Q3643153","lastrevid":50812151,"modified":"2026-01-15T06:41:44Z","type":"item","id":"Q3643153","labels":{"en":{"language":"en","value":"Functional systems in the context of temporal\u00d7modal logics with indexed flows"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5629103"}},"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":"Q3643153$55510EF2-EFE7-4FA1-A364-B0D16C88557E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9661dacb34743b67a05626f020c32a21d9bd54db","datavalue":{"value":{"text":"Functional systems in the context of temporal\u00d7modal logics with indexed flows","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3643153$0F0A2FB0-C5D0-4D4C-A6BE-15108689E2AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b8c5ea0b35641ea74666c1d96af6b63adbbbc8e","datavalue":{"value":"1182.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643153$28959D8F-FFB9-4766-B0E1-2200E62E100D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7014b0a47401975fdab5bf7e148608755f906ceb","datavalue":{"value":"10.1080/00207160902795619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643153$E43AC759-06B2-4C94-A6E9-44080133511C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2822ecd71563ec0897253c83fa7ead655a842154","datavalue":{"value":{"entity-type":"item","numeric-id":313005,"id":"Q313005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$64E61FC6-0243-42A2-9E1B-D42015C083C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61792d4d5b09af74a4761e055daae2acf06e4c5e","datavalue":{"value":{"entity-type":"item","numeric-id":1403340,"id":"Q1403340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$3A18B6F1-1DCD-43D4-923C-41CDD57564A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4bccdf7c2b388b6e3e888805bc1f0030b29c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1403341,"id":"Q1403341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$BCB503FA-E679-4135-85D7-D25B2984483C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$29D86458-D119-4E59-A6EE-B0CAD6281C8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"768f67aa8c56a592207b631de1166ee159c71adc","datavalue":{"value":{"time":"+2009-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3643153$2B798FFF-013C-45BC-B80F-938D401BAABA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643153$A688DF2B-8C0B-4A91-B808-3D1C09E9B105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643153$1AFF9BC3-DC55-4F98-9B7C-06F6A41137E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643153$9AABFA17-85B8-4B93-A517-A9705B6FCC93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10bf9853d948725e6f0cb2719db655950a840262","datavalue":{"value":"5629103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643153$99F02A8D-12FC-4589-AAC2-6F9184D0622B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5c7a65a5acbceacdaa3bf52731a080631800e98","datavalue":{"value":"temporal flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643153$A9F7785D-DAC1-41AA-BAA4-2888A0934E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643153$5A371CB7-CC3E-4F50-839B-F4FFB5D97833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643153$0DA47C5F-2B03-4050-BDDD-788920FFCCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643153$442F6E81-6662-41F6-9EBC-9C5613D6A32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf4f0cad372669d314b32cc8fab39703e1d83b2","datavalue":{"value":"functional axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643153$9FA6B5BA-6EE2-41B7-9270-0E6F9A9345AF","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":"Q3643153$D122000D-40AA-45CA-B1B6-DFAF6947296D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50f3e20550eeddba21acc20865f5561b37b05bd2","datavalue":{"value":"https://doi.org/10.1080/00207160902795619","type":"string"},"datatype":"url"},"type":"statement","id":"Q3643153$3D0E66BC-9ADF-40C6-A058-01234FAA5EBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de372601a6547fda2f9ee9713fa8a41170c950ff","datavalue":{"value":"W2045097267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643153$EF0A63EC-8187-4D3D-9B09-EB0E75913A34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d6184ae6db4803581747c5b180c989548286b5","datavalue":{"value":{"entity-type":"item","numeric-id":1604670,"id":"Q1604670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$B202E1EE-B4E4-4E52-B846-1E8088927398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda02212684219829265f1425a8126957eba0eea","datavalue":{"value":{"entity-type":"item","numeric-id":5946352,"id":"Q5946352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$54255734-812B-40F5-80CE-A1FF449C72E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ea449b435542ce5c6bd99539830f6276ccf78b","datavalue":{"value":{"entity-type":"item","numeric-id":1403342,"id":"Q1403342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$C7032C05-DD1B-4EF4-8A29-D12FD2E89F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22c4eb49dc5e76617822f81b392d9cc85604b46","datavalue":{"value":{"entity-type":"item","numeric-id":5459725,"id":"Q5459725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$67D80C3D-B0D8-4413-A2DF-9DF793020A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585f7d1c47662d0a476cecdbee1f33b71701c0f6","datavalue":{"value":{"entity-type":"item","numeric-id":2866724,"id":"Q2866724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$C2679D10-2789-4575-9C9A-3CEFB7DA9374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff3f529509981842c7361933daac288127391aa1","datavalue":{"value":{"entity-type":"item","numeric-id":1610622,"id":"Q1610622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$6C966777-E25B-4FEA-A986-996CE53BF2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$0A94F686-1170-4353-A5CF-23680073CB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ec1ba56991efe8104d108b59c02ed6e35948b1","datavalue":{"value":{"entity-type":"item","numeric-id":2372185,"id":"Q2372185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$B507536C-6C80-423D-95F4-FE5F40AA9205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c448169401b2aabe251045d57dd89c77157e867c","datavalue":{"value":{"entity-type":"item","numeric-id":1403408,"id":"Q1403408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$D044D111-D3F7-4EEE-AF9F-AE311621B25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9078a468078356fd07f0368352f90217554f2d83","datavalue":{"value":{"entity-type":"item","numeric-id":1058846,"id":"Q1058846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643153$6119D0A6-32A8-49E2-B691-45C7761BA4CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe49fb9742ac33082f565499de147c1748d09a0","datavalue":{"value":{"entity-type":"item","numeric-id":3406454,"id":"Q3406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce9d73fa9847cd8c363a146aceff1e73a40e11e","datavalue":{"value":{"amount":"+0.8500637412071228","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":"Q3643153$BD8837A9-991F-4700-AB8E-1450D6D1049A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b3bef0a5c2337c77fab1b1ad1f35f2f9208d7e","datavalue":{"value":{"entity-type":"item","numeric-id":4737138,"id":"Q4737138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54eb4db61cde2241157b6c5eed229f028ccc41da","datavalue":{"value":{"amount":"+0.8458255529403687","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":"Q3643153$A14FD735-C316-48D8-9762-B352E5B12791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2498523d0de4815ff51869296d2b90f9ccae396","datavalue":{"value":{"entity-type":"item","numeric-id":1403342,"id":"Q1403342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2e1b11a79b529e3102fc15e81251e45f624422","datavalue":{"value":{"amount":"+0.8399580717086792","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":"Q3643153$BF27AF97-D6B1-4C46-9E49-1259F5F37B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a9ba5e94655a498d66739a2d094514842c1d6b","datavalue":{"value":{"entity-type":"item","numeric-id":2767162,"id":"Q2767162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2e1b11a79b529e3102fc15e81251e45f624422","datavalue":{"value":{"amount":"+0.8399580717086792","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":"Q3643153$E2205829-FD75-489A-A564-375A862883E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c8108ef2337702b12f9ccc6375c8bca14e6631","datavalue":{"value":{"entity-type":"item","numeric-id":4545015,"id":"Q4545015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c900195af0d7f6e878e1bc7d5de0b37b6e14a2","datavalue":{"value":{"amount":"+0.8312212228775024","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":"Q3643153$C43FA2B1-383F-4CE6-84CB-13073EEE1601","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3643153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3643153"}}}}}