{"entities":{"Q4236210":{"pageid":6265811,"ns":120,"title":"Item:Q4236210","lastrevid":46591938,"modified":"2025-12-25T03:43:56Z","type":"item","id":"Q4236210","labels":{"en":{"language":"en","value":"Temporal algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268683"}},"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":"Q4236210$96010493-A581-4640-BDE2-995ACFFF983A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fbb105ca37ed6a0e1700619f3b42e5ce8b21379","datavalue":{"value":{"text":"Temporal algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236210$EB9C6183-B79E-4F19-9773-EA80F0C4FFE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac9c9cbdbc587fa30478161e2ee253b50ca5087a","datavalue":{"value":"0917.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236210$F0FE1286-1652-474B-A94D-05A8E3BFB7BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa76b4ce6fa6c2cd53e8db9287311a752fbb3ac2","datavalue":{"value":"10.1017/S0960129598002540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236210$E6CF29BE-74F9-45E1-A689-8BEAA8CE24D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e7d1db297d742b737b68d4043e1cb57374c8a0b","datavalue":{"value":{"entity-type":"item","numeric-id":287021,"id":"Q287021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236210$789F7C5E-F1C5-4D5D-BEBB-569EE2F94E46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236210$8A7D1DC6-9D75-4153-9E3A-FE35CB6A4388","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f17fe6f73043bfd4b99079c382b6d17c4e7b22f","datavalue":{"value":{"time":"+1999-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236210$43E8785F-5D09-4C89-9F2D-2450797579FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236210$BAF78B98-8FA4-4497-A2EE-439A6D66B213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236210$751C232A-ABDC-4251-BA06-89E4D81E3934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236210$70ED92FD-F409-4742-858E-3E67B6C69466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236210$BCF320CE-3D82-47AF-AC55-47B9D59E7338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236210$725DCD1A-38E9-4450-9ADE-14DA9C316368","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de8a21dc5eaaf37d52da3618528ef7420d4b7a92","datavalue":{"value":"1268683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236210$5247A7D3-E83D-4BE7-82CC-84A7A797E823","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcafd58d17cdb3fc26979038358248219b6e89c5","datavalue":{"value":"temporal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236210$8C822992-D67B-4753-AC3F-0EC994C23FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236210$375A8EFF-B6CD-444E-ABB8-3625B545226B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236210$37AD435F-2FC9-4354-9FF2-4EC136FED0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236210$073847FE-D997-4B97-ACD0-B93954E0228E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236210$7396926C-EA55-4D74-9462-EBF45D6D01A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236210$93CB291B-B429-405A-9753-63C6A75EABC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6636cb96a6c700f647199520ae22fa92c408ae6a","datavalue":{"value":"branching time logic CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236210$B5F0D407-FD95-42AF-9535-520E0B4A5278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed72925e82d328c5eb2fafa50ef73ad2396ec175","datavalue":{"value":"intuitionistic temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236210$C34E7268-5A8F-4AB3-8B99-619A8F77A3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0be3966735ece5e68929d857426c24782b38f74e","datavalue":{"value":"graph-theoretic algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236210$114CF17A-37D0-4626-8E09-4E39A24C483E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305d8dd6a47cae6e11744bc18d6562c5e2c93e59","datavalue":{"value":"algebraic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236210$90B36977-ECCA-4674-865B-F014E4A71A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236210$CAD85E42-4E15-49A4-B0B3-4C996803F9BF","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":"Q4236210$FE680411-8393-41FC-AF7F-05AABE9646BC","rank":"normal"}],"P1643":[{"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":"55355fcf3120f8ec7f655394eb5416d71dea966c","datavalue":{"value":{"amount":"+0.8684912323951721","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":"Q4236210$1047618E-0E5B-46F6-AA89-6FD7FBEEA6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4500d149d6e08f4777983a3ea471b80e6a88a668","datavalue":{"value":{"entity-type":"item","numeric-id":5096734,"id":"Q5096734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c903872bb443f6c86bfe506c560c43b1a5caac44","datavalue":{"value":{"amount":"+0.8423294425010681","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":"Q4236210$431E456E-69AA-439A-B369-1678D6C4F8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7901a4bd6904a07c3612a858b471a1f2e27f97d3","datavalue":{"value":{"entity-type":"item","numeric-id":3330495,"id":"Q3330495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778f97feec15cfdfcdd5bac3d85dd780cfc5b5bd","datavalue":{"value":{"amount":"+0.8160845637321472","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":"Q4236210$37C89642-60E4-464D-954E-C00E2FC89FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4eff661e9843856b7718530908d075fa42d6c7","datavalue":{"value":{"amount":"+0.8152320981025696","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":"Q4236210$6578C89E-16BC-429D-87AD-BC0842FB27EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d28b87a147de28bc2134ecb2ac2c43a15e3583","datavalue":{"value":{"entity-type":"item","numeric-id":4733377,"id":"Q4733377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b69484ad6953d1321389e0330382133e11c8fd","datavalue":{"value":{"amount":"+0.8136823773384094","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":"Q4236210$B3993612-32C3-4653-9389-7A3AEBAB5C7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236210","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236210"}}}}}