{"entities":{"Q6151556":{"pageid":13285863,"ns":120,"title":"Item:Q6151556","lastrevid":102557981,"modified":"2026-06-06T04:45:52Z","type":"item","id":"Q6151556","labels":{"en":{"language":"en","value":"Deciding Equations in the Time Warp Algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7814916"}},"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":"Q6151556$0B2F8BA7-679F-4385-97BF-80978748D287","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3d7930fd8f0ea8bed0629c02a1f28ec5c132311","datavalue":{"value":{"text":"Deciding Equations in the Time Warp Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6151556$A59E2360-79B7-4BD3-8C14-6E3E5D102874","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f94f8ee36125f5afab5b4bc39a72d674d800a7d0","datavalue":{"value":{"entity-type":"item","numeric-id":390414,"id":"Q390414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$426488B4-7BC5-4958-B5E5-D1FC33795E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"830e656e3fafcd2d4ecc15cfc2bb5f94d9903888","datavalue":{"value":{"entity-type":"item","numeric-id":2695362,"id":"Q2695362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$84BF7102-5E0B-4981-86B9-D0E5AE91585E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$BFA5B539-E145-4375-90D8-612F00D754F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbde116b2e6e9796ce780dc7e634400afd5aa215","datavalue":{"value":{"entity-type":"item","numeric-id":2122218,"id":"Q2122218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$A267024C-9C1E-41B4-8C70-D5A6A4E9C0B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$FACFAD67-7ED7-4B8D-BF6B-31F40F57C8DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"012ca77457e4fcb067f81b39e263aa01ef27144d","datavalue":{"value":{"time":"+2024-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6151556$4A840854-26F8-4AFD-8544-781B7C74AAA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07bd16d6499dee6ddad78b59eafc9658693982da","datavalue":{"value":"https://arxiv.org/abs/2302.04668v4","type":"string"},"datatype":"url"},"type":"statement","id":"Q6151556$6B3DCC65-47C3-40CA-93D6-701DE1502159","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151556$0135A262-FD9E-4E1A-8F28-DB81D9E56848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151556$88DAD208-11AA-40A6-B8B4-5043B1F0C9C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e256d46416579ed853d70e08ef04f68d68c4939d","datavalue":{"value":"7814916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151556$168C5E64-4233-4F8A-8903-8446F4B2DD12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151556$BA5530A0-35FE-4673-97B3-2AC4CC07F632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151556$1874982F-021D-4B4F-AABA-C30047051FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151556$375BC83E-972F-4D53-BB78-0F735E04F9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45aae95e90632dfcd6ab7e0144d94e4b3ca37bd","datavalue":{"value":"graded modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151556$B9853900-91F6-47D0-AD97-22C06AFDE402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151556$03EB4293-F60B-4065-B899-F38AC1E33690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151556$DE69861E-C055-42C8-AA8C-4AD890389670","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":"Q6151556$182366B4-34B4-4DAB-AFF7-C3E01ABD3D71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14f906787bdecc96b981b550725203fb37a57ddb","datavalue":{"value":"W4391694972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151556$A95D1401-5957-4854-B2B9-A5B3D6063CD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6456459239ab3bc5fb70e6036ded27e15251da27","datavalue":{"value":{"entity-type":"item","numeric-id":3166222,"id":"Q3166222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$E4FDA97D-B019-4C63-AC6E-E8D292001055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$68E16F0F-F9EE-45EE-AE8F-376DA33C21BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aaa146f5341ff7e510d0b544c134b0337c10051","datavalue":{"value":{"entity-type":"item","numeric-id":2122219,"id":"Q2122219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$91F9E230-4C3A-4B62-86F8-5EED05E82DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8159d09b744583eb27519dd63614d94b72e2611c","datavalue":{"value":{"entity-type":"item","numeric-id":2817701,"id":"Q2817701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$E27590EB-B883-4437-9FD6-6396C23DE299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb31090b803bed74a547667a0a2fef2df8d3812","datavalue":{"value":{"entity-type":"item","numeric-id":1744615,"id":"Q1744615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$9363CAA6-8E8C-4201-8277-6EAB357036C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1306cf5971ea6ae481c5f8330b5b35e143e8527f","datavalue":{"value":{"entity-type":"item","numeric-id":2811361,"id":"Q2811361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$B65FA7D1-9AC0-45FA-A70A-B4F09E1E5BD8","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":"Q6151556$2E40685F-B91A-4821-9F86-1BB2D3A928C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe482173dbcaf448f50e38b2df5964d486aca04","datavalue":{"value":{"entity-type":"item","numeric-id":1686325,"id":"Q1686325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$000E3B38-5895-41B2-B184-3C2F45265F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842908e6c13ec392e360c75e594280d6b516707c","datavalue":{"value":{"entity-type":"item","numeric-id":776989,"id":"Q776989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$831CC42C-AD86-4C51-831B-6CC54FA0E6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75e3d52810814c579c973630d54a8096a771faa","datavalue":{"value":{"entity-type":"item","numeric-id":2985796,"id":"Q2985796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$CAB69479-D964-4F0B-BE41-AF41804D66AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ec2b3df2fc5d66e5bc986b21b0a0042b47a045","datavalue":{"value":{"entity-type":"item","numeric-id":863916,"id":"Q863916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$AA1B7CBF-23E3-4D8E-BB08-4B435C3C9A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364ce7db5f1100bf25cc80d55db30198c85e2ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2454636,"id":"Q2454636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$1CE20D28-54EF-4609-8752-1C5DEDD21667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cfe212947f5528215b692a0b52aa33dbd786744","datavalue":{"value":{"entity-type":"item","numeric-id":5410708,"id":"Q5410708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$6CD6AAA7-D3D0-4510-B3EB-B33484117B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d643de8c9a52ebc13cbd7c850b5ef85fbe2fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":5145323,"id":"Q5145323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$3DBAB6B5-310E-48D7-ABFE-D3853EE3EF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d640c4169036a6c845a59db3eb602aee0f67ae","datavalue":{"value":{"entity-type":"item","numeric-id":4168953,"id":"Q4168953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$E02AEBDE-838D-41B7-AB3E-CE57C2411DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54f7383e1361db9b7d8d635e3974eec1f15734d","datavalue":{"value":{"entity-type":"item","numeric-id":5536269,"id":"Q5536269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$10792688-BCA1-4D73-8B27-C26D7F8252E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5f5e50725833f8a86ab605b7a934146022814c","datavalue":{"value":{"entity-type":"item","numeric-id":6059121,"id":"Q6059121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$37EB4859-6F6F-4DF5-87D2-615872A53375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af219c7f3896cfe7ec5b30c40cfb6610e7aca7be","datavalue":{"value":{"entity-type":"item","numeric-id":5098728,"id":"Q5098728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$12A65C69-BA65-4B8D-890B-54894150A44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17838c6abdecc57e213434345a979684209a382","datavalue":{"value":{"entity-type":"item","numeric-id":2695363,"id":"Q2695363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$F9642F2E-385E-4431-82F2-7459417F9D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151556$B8D32CE8-B80C-42CF-9A2B-8BD57A360B89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c5dbd5dc409038e4ef2f496a638b8f256a393aa","datavalue":{"value":"10.46298/LMCS-20(1:8)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151556$15095E49-95F1-4D09-AF55-EAFD6872413F","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":"Q6151556$5EADCF22-74F4-4A54-95A6-F18F9B2F3572","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding Equations in the Time Warp Algebra","badges":[]}}}}}