{"entities":{"Q4835527":{"pageid":6865107,"ns":120,"title":"Item:Q4835527","lastrevid":91422158,"modified":"2026-06-04T23:07:43Z","type":"item","id":"Q4835527","labels":{"en":{"language":"en","value":"A Structure Theorem for Free Temporal Algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 761107"}},"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":"Q4835527$68BA9616-CD6E-417A-B9AA-78EFBBE1B1B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"109ae75312dfa9c21e5a07360e1d2d0115e86e26","datavalue":{"value":{"text":"A Structure Theorem for Free Temporal Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4835527$88F8A41B-A824-45D5-BFE8-5E0358870188","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e0714faefdaa43c310127c202f5ca9dd613da05","datavalue":{"value":"0820.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835527$9721E866-8912-4371-9B69-F65206DFDBDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d6baa8f1f523266cd9eb2f443ddebcd84798cc7","datavalue":{"value":{"entity-type":"item","numeric-id":1576375,"id":"Q1576375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835527$A06CA491-C0FB-42F5-BE19-9397368013FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a05299bd097669b72cc89cc0ea98d8ab075bb112","datavalue":{"value":{"entity-type":"item","numeric-id":1576376,"id":"Q1576376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835527$6D92BE31-BA68-4D98-B88B-94D1FA9EDCD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835527$D3F11CC9-EE51-46E7-9627-7A580C33CD48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30c86c2e0d2f86f2c03e50d0f3bd2bcc92598f57","datavalue":{"value":{"time":"+1995-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4835527$F674FCD9-B972-4557-80CB-FA9E1F50C2D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835527$47539920-EDFA-4A10-B96C-67D8A74C40E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835527$B63DD76E-77BA-43D6-9AFE-44BD9A40D1CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e8797a723972f2f333ff3f0b78da57eb4f3d9ac","datavalue":{"value":"761107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835527$6FAF839D-4F81-422F-8809-08D512403055","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835527$93683E6E-C351-4D02-86AB-F972C5ABA4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835527$2F2AAE9A-3C8D-44F4-BF1A-67834BDD155A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a387d367ffe300cef854e5e473d1f7a12325e17","datavalue":{"value":"algebraic filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835527$BA5944C2-4428-4ADE-9612-8127A03A7FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835527$7B84EEA3-65CE-4E2F-B3C8-E1B43CD50D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be119e1b508a093b09e4b1756fe8c7108a9224d","datavalue":{"value":"temporal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835527$FE3C57DF-7D4D-463F-9359-3D5A6E9DB2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f04b5bca7b27dcb343790b6678e8384151bb7f3f","datavalue":{"value":"logical filtrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835527$E05FC5EC-B0D6-4726-9B8E-E864D425BB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b9a250a69733a4e8dfba45c35912f5184c02b97","datavalue":{"value":"free temporal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835527$DA4F59B1-AB92-4D38-B82F-70EF8B5054CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835527$9C7CA09C-CF69-47C5-9C52-C62D9BD80269","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":"Q4835527$D973F890-8D59-4B24-90FA-591E942C2F39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17293a8f0218f14ec32a6b4c3c9ce83439257015","datavalue":{"value":"https://doi.org/10.1002/malq.19950410210","type":"string"},"datatype":"url"},"type":"statement","id":"Q4835527$E4BFC8EF-5953-4558-954A-F5CE7804D508","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"131f0040a79b07e5531020a434087535f6ac481b","datavalue":{"value":"W2046221844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835527$E1B6C36D-CE20-4B5B-879E-7408CC30AB98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835527$0591853C-616D-401E-88B5-4DE7710C3C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835527$E9CA6740-FB49-4DF4-AB51-0DF419982A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be819abe5d5413f3b99f16362bdd3fd4ba4a20ba","datavalue":{"value":{"entity-type":"item","numeric-id":4323829,"id":"Q4323829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835527$F86B35A2-5191-42F9-9784-B5E0A7275B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835527$7BED60EF-6D08-4571-8F1D-598D43BF206D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d322c0810b1e6df167c3a55404deee204e1247c3","datavalue":{"value":{"entity-type":"item","numeric-id":5616117,"id":"Q5616117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835527$765606AC-30A6-4909-9B94-A95967D068AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"939b79590cbff3b45f9e70f41e7355e2b7a70b25","datavalue":{"value":"10.1002/MALQ.19950410210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835527$198039D5-FEDB-461C-99EC-092A5057E9BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f26d2ebf738aa1f97329e5122d6ab7e6eaf01897","datavalue":{"value":{"entity-type":"item","numeric-id":2640599,"id":"Q2640599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d34c4cca8cb7aacc92e41cdfe38b8746e77943","datavalue":{"value":{"amount":"+0.7780188918113708","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":"Q4835527$5A75EBC9-4FCE-4B01-85D7-4037180700CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813ccfbd83a25a25395813b8966b20771e07302d","datavalue":{"value":{"entity-type":"item","numeric-id":4323829,"id":"Q4323829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fa434d5d215179ccab327d5299b6130d0afde6","datavalue":{"value":{"amount":"+0.769692599773407","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":"Q4835527$7815931A-E6F8-4577-9964-D0582103F1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72669ffc23df96b8f047732418807b05d30db7ff","datavalue":{"value":{"entity-type":"item","numeric-id":3140488,"id":"Q3140488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e9a04c0a4a2dd86241a04b54ebcd34c907fdaa4","datavalue":{"value":{"amount":"+0.7518279552459717","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":"Q4835527$C2C9527F-FE46-448E-B9F4-AE9CEFB4EEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e023f813272b5895fae615af14a6b7b4a864a389","datavalue":{"value":{"entity-type":"item","numeric-id":4236210,"id":"Q4236210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16d6b1a91329d159669f993fa4525cbb315c738","datavalue":{"value":{"amount":"+0.7507380843162537","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":"Q4835527$95247657-F6B4-44EB-B959-7AFEA03B05A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a4e73d5bf2016231a1407199a205321357b998","datavalue":{"value":{"entity-type":"item","numeric-id":4738117,"id":"Q4738117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16d6b1a91329d159669f993fa4525cbb315c738","datavalue":{"value":{"amount":"+0.7507380843162537","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":"Q4835527$51B9A81A-E27D-4C91-A6C1-51962E482620","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Structure Theorem for Free Temporal Algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Structure_Theorem_for_Free_Temporal_Algebras"}}}}}