{"entities":{"Q6141780":{"pageid":13276087,"ns":120,"title":"Item:Q6141780","lastrevid":58723566,"modified":"2026-04-06T11:41:18Z","type":"item","id":"Q6141780","labels":{"en":{"language":"en","value":"Temporal stream logic modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793036"}},"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":"Q6141780$B374A5CD-C382-4633-9249-9E04628D6AE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3d7120212dcfc1a422977b983e283779c618a31","datavalue":{"value":{"text":"Temporal stream logic modulo theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6141780$43DAADA0-586E-493C-BCF1-39C100F2FEEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e86f51e128ffb1c82d72646a746010c1efe9a793","datavalue":{"value":"10.1007/978-3-030-99253-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6141780$A4B9D01F-672E-4E96-AEB5-B6ADA9D040FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$A1270122-9378-44F0-9A88-A8BB193421DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f83683c6c933bcdcea7e973b5c75857eff2789b","datavalue":{"value":{"entity-type":"item","numeric-id":6141779,"id":"Q6141779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$D9CE9C2B-49A8-4BB0-80DC-65A854BCA871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccea47a7592d318efed66b0442b478c0e8cd1299","datavalue":{"value":{"entity-type":"item","numeric-id":2147208,"id":"Q2147208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$787594A1-8C26-477C-88A8-050324EF964D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$E6F45C83-0E51-40BD-BE48-517D9ACB7574","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-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":"Q6141780$F91CA19A-639C-4C3C-9B6A-127BDDB85707","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcfee2ec81400ef6d1fd9f3d4c7e7382133d27e1","datavalue":{"value":"https://arxiv.org/abs/2104.14988","type":"string"},"datatype":"url"},"type":"statement","id":"Q6141780$4DB2CD0B-0300-4F2E-AE64-F36D17910A7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6141780$D0F06035-E45A-485A-8022-2A42850E4C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6141780$924AF052-113D-4D04-AC81-D03C4B5F0821","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d65ba8bbf065ae66176aefeb67d8a5670bf35ac","datavalue":{"value":"7793036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6141780$465EB1A9-51D0-4EC4-BBE6-98014961A4C3","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":"Q6141780$64E37D94-BFF7-4DF7-B520-CF2673029ABD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"762799555fc934fb5dc5eb3645b7e6643c50a7cc","datavalue":{"value":"W3157401082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6141780$AD0A13F6-92CA-4D4B-B9BE-A03468AE1A8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a84872841e456c541578d17e5a87958b215028f","datavalue":{"value":{"entity-type":"item","numeric-id":2151231,"id":"Q2151231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$76A6E6FD-58E5-4B01-A501-BCB2634A6AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c96314312df435047c2036f221dcc510b90c04","datavalue":{"value":{"entity-type":"item","numeric-id":3647243,"id":"Q3647243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$AE4DD637-BCBA-4134-8E41-F5569C9DEA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1286789682a4258cb5fc71c14511307773576c50","datavalue":{"value":{"entity-type":"item","numeric-id":2503321,"id":"Q2503321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$7BD95F64-0AF6-4008-962F-70C266C88058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d713119ce499c7aa6060f9ba74dfee79edde132","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$E11C9096-C2AF-4822-9F62-D06A17336EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80541ffeddbca4ea4da9180c32f3f8817904390d","datavalue":{"value":{"entity-type":"item","numeric-id":5434506,"id":"Q5434506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$3F94AA36-4C48-4DF3-92CE-607DF1278862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$163B388A-D618-426F-90D5-D3ED0518C577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f377a748ee0a448bc0e22cb6ba09ac101b59b17","datavalue":{"value":{"entity-type":"item","numeric-id":868025,"id":"Q868025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$5959A50D-09F8-4EF4-90A5-12DA5DEB4204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72c4a2c3f47e29311b1ae0e2b3b056023f80190","datavalue":{"value":{"entity-type":"item","numeric-id":5856426,"id":"Q5856426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$5320F54A-6374-4082-8AF2-CA229DA7470F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$441C99EB-3F9C-46EC-A953-78F223052CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$6652DFDC-FB6F-4CFB-BEE6-54CC1010B0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$7A618F52-0C59-41E6-AC63-F68ABB3BE78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b237004628b28d35abd4b97b22c917ff2ee3b5d3","datavalue":{"value":{"entity-type":"item","numeric-id":6109605,"id":"Q6109605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$6191AE80-0D9F-4E66-8EA3-212479DBFF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"091106aada8a83b8337d8fedb55405822e9d4c57","datavalue":{"value":{"entity-type":"item","numeric-id":2226763,"id":"Q2226763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$462BDC40-FB3C-4C13-973B-0E818393214F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b4c95f53b57f2eb31607a9241c4b370cdcd831","datavalue":{"value":{"entity-type":"item","numeric-id":3939208,"id":"Q3939208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$22CB10A9-60A8-4C36-BFF1-E827F30AD6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab20597048cbd154564fb07c83caf3de2fb98f9","datavalue":{"value":{"entity-type":"item","numeric-id":5164172,"id":"Q5164172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$83C07264-3D68-4591-A647-57F1442B2BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$0868F913-459D-48EA-A692-3EA18DE33B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a399dedf5b356a896a3d394b7da85b4f29e38dab","datavalue":{"value":{"entity-type":"item","numeric-id":4853320,"id":"Q4853320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$C7328E03-3EE7-436C-AEC6-5E4A686C20EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c44a50a367829672ee3fbf3f9bb0c8464f00ec6","datavalue":{"value":{"entity-type":"item","numeric-id":956325,"id":"Q956325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$6502F936-3A91-4D09-83DC-A78E213CD01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$3A29B0D0-4185-4A96-AB80-533B31A0EB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6141780$294729B1-2486-4286-9AAC-8D4453482083","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4510fdeafed9d3385e9892eac160a17822249dee","datavalue":{"value":{"entity-type":"item","numeric-id":6194596,"id":"Q6194596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9122e6716c6d5f2b968fd9ce3a1bf1381e9d55e","datavalue":{"value":{"amount":"+0.7508769035339355","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":"Q6141780$DC787DF5-9215-4C6F-9967-960A4F79646F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711ce3d04391ead99d6800721089c1f923effd29","datavalue":{"value":{"amount":"+0.7393428087234497","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":"Q6141780$DCE7499D-5755-4D94-917A-6A046A661005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181c1bd39bf3737ff704657ea1fb9e05eec639ff","datavalue":{"value":{"entity-type":"item","numeric-id":6165893,"id":"Q6165893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d39f6f9b030c2b8aeafd921d7eafcef41d768a9","datavalue":{"value":{"amount":"+0.7267041206359863","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":"Q6141780$892BF72C-F35B-4884-A221-34E05FADE2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b380f5b0b0e32143848d3f6570088394e2d53fdb","datavalue":{"value":{"entity-type":"item","numeric-id":4853320,"id":"Q4853320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774b78b12526d74bf431b405e22d2f51fd188906","datavalue":{"value":{"amount":"+0.7221721410751343","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":"Q6141780$30B34EE8-3E5C-4B63-883D-37A756B10DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1045ddaf53a16b5ab380d4a7e5cc866f3e7ddd","datavalue":{"value":{"entity-type":"item","numeric-id":342712,"id":"Q342712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e4f076fd0b7fb360572cce85244b618f213aa6","datavalue":{"value":{"amount":"+0.7217531204223633","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":"Q6141780$428BCF4A-9885-4108-B812-BC68BCC6E300","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":"Q6141780$19DE92A4-780D-4CC3-879D-9A6F90AE47DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6141780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6141780"}}}}}