{"entities":{"Q6535526":{"pageid":14146669,"ns":120,"title":"Item:Q6535526","lastrevid":57343782,"modified":"2026-03-30T14:04:58Z","type":"item","id":"Q6535526","labels":{"en":{"language":"en","value":"Decision procedures for sequence theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787546"}},"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":"Q6535526$6D967C22-A37F-4936-A321-AC3A395200D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e04418664c878270ddc5c7aa4090eed3351e29d2","datavalue":{"value":{"text":"Decision procedures for sequence theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535526$5CBD3C46-CC39-4D89-9C3C-62BFD48768EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"123a914272f46d33478834e8ec75da9f20259bed","datavalue":{"value":"1545.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535526$0282E642-0519-4899-87E6-2BA4FFA86579","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64d1de5d779bb29e32c7f801f3e5db8dfebf05b4","datavalue":{"value":"10.1007/978-3-031-37703-7_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535526$E5F90602-5FA1-4211-B838-35CD3CFDEBE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"956ccad67dc502dfc66055868e0a535a76df3b6e","datavalue":{"value":{"entity-type":"item","numeric-id":248925,"id":"Q248925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$87763573-A07F-4F40-9E51-D8CAB416D723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d16040d29a42a439381bf088783c9058f5cad35","datavalue":{"value":{"entity-type":"item","numeric-id":1708663,"id":"Q1708663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$CE426688-354F-4C3B-8802-723A118FD756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca58481c72ad87be76b60d7009c44bb4db0a4048","datavalue":{"value":{"entity-type":"item","numeric-id":832263,"id":"Q832263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$153F5892-8654-42E0-A6C3-2B8DBFC93019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$AD76C0E5-8935-4ED7-B0F3-5BA0825B8D17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535526$CD9563DD-0264-4316-9AC9-B3D96FB532EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535526$03FEADF7-7B64-4F91-9674-ED615D452638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535526$F86E8419-9C4A-4E0E-BDE1-2EA2B89AE942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535526$AF5B74F6-7412-45AD-86E5-65AADB272789","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae2f41d0012112f4615731db72418275ed015ecf","datavalue":{"value":"7787546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535526$48BF0C24-A00E-4977-9825-F11751A2B555","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":"Q6535526$480912E9-2FC9-42D6-8622-AE1603E02D3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcdb27290e727aaf8814e06a49f48f08e3ab294f","datavalue":{"value":{"entity-type":"item","numeric-id":3297597,"id":"Q3297597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$CD9D71F1-944B-4E14-BB57-576C415D63B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14dfba00ef3c929aa8e0a6231dd575c4fcee0bb3","datavalue":{"value":{"entity-type":"item","numeric-id":2846573,"id":"Q2846573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$872E7B84-D2D4-450E-9F9F-CC9EBEF2DE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$0139CC86-EDFB-4109-9E9C-B6C137CB07CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$1EAB3922-9668-4B5A-B1F9-CF2AACEA09D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf045231a1ed32f3a90aba5b68efa5e97dc9514c","datavalue":{"value":{"entity-type":"item","numeric-id":3773843,"id":"Q3773843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$A2A989FE-8A4E-4A40-90D4-7845A6B7DE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f20d8db849f662979e56048a55ad8be683532e","datavalue":{"value":{"entity-type":"item","numeric-id":6154571,"id":"Q6154571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$C670282A-DFEC-41FC-8A87-4F331D3DF7D7","rank":"normal"},{"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":"Q6535526$A283AB3C-3D2D-4F4D-B251-09DD1FD9430B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$F8889698-A36F-4519-A5C3-88CFDF1CCF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8f3818c05861ef1188d363d4ce3e07f5a3a822","datavalue":{"value":{"entity-type":"item","numeric-id":2573633,"id":"Q2573633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$DD23FC06-C618-4664-9818-73A319B7C7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f7ef83b11d6d7882974d7f43e9d9bb6dae6b9d","datavalue":{"value":{"entity-type":"item","numeric-id":342722,"id":"Q342722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$63B50EA2-CB86-40BE-A210-FDF0B180D6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8eb34c519834b5b923e52b9f7343a721bfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":4061976,"id":"Q4061976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$5D58B597-F2F6-45FD-9E6C-5B2C2A2FE1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9222b8bfb9886db28df45303fde8efbaca9ad277","datavalue":{"value":{"entity-type":"item","numeric-id":3297765,"id":"Q3297765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$99A5EE9D-465D-4CC0-9301-EEE4F0E6CFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcda3db26769fd0fa8ae730a34828620cd4c4ab","datavalue":{"value":{"entity-type":"item","numeric-id":4931288,"id":"Q4931288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$8085448A-BE46-45F3-8E7A-C0BDEF787F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c068faba989c4b8b1a1d366d186d693920ff87","datavalue":{"value":{"entity-type":"item","numeric-id":3564896,"id":"Q3564896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$3EA184EC-FD71-4EF9-8165-45729F771953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1247f88c76a84b67cc8b7e0e4a397a4cdf25bc","datavalue":{"value":{"entity-type":"item","numeric-id":5904100,"id":"Q5904100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$3CFD2D0C-6CA1-48C7-B007-397919B0A056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f86ab41cbe98c881f8835893f4ace318f812d1d7","datavalue":{"value":{"entity-type":"item","numeric-id":3177761,"id":"Q3177761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$974184F7-D3A9-4BF9-9AFF-536B2418C4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0be6c53659cb8642df272cd13aa4516eec9a3f8","datavalue":{"value":{"entity-type":"item","numeric-id":5228112,"id":"Q5228112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$319CB90F-7B8A-45F2-B1BF-40EF00C5CD53","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":"Q6535526$4B8FFDF0-5876-4B69-B339-CE7F70BE13AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$6709FE81-31CD-4CF7-BBC0-A0DA51305302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$D39B1077-6F36-482C-BDE0-A7CC0EA626C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68469ad86edab6fdb82b6017f9c13f5c91c5da","datavalue":{"value":{"entity-type":"item","numeric-id":6045028,"id":"Q6045028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$709EB22D-CA66-48ED-A582-42DAC825F05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72a24ab38e8fafa6fbae1839d4df37aee0396ef","datavalue":{"value":{"entity-type":"item","numeric-id":2828250,"id":"Q2828250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$26342B3C-BE68-4D8F-B57E-D3C982F63B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$24E1009C-72BE-47BA-B24B-2DCAAF77E93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc9ab02fc0b6eae1c10b609cc1d0c3f95f2ff6d","datavalue":{"value":{"entity-type":"item","numeric-id":2326385,"id":"Q2326385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$31574109-B333-4FC9-B524-1038F1F8ABDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$094A86E1-2346-4020-A1FE-83638AEBC76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e2691b75c3fc0e1c99639ddfaf1b7ff7c2c589","datavalue":{"value":{"entity-type":"item","numeric-id":6487931,"id":"Q6487931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$777D0598-FD7C-4C6D-A925-F69CC92F0330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b73cc94f4a6d87984319ad929de757cddce8f7e","datavalue":{"value":{"entity-type":"item","numeric-id":6169560,"id":"Q6169560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$0FBAE19E-6EEB-4947-AAAE-CD2663F3B817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41b54fca374849eee39cfc7458a5f8e678686e3","datavalue":{"value":{"entity-type":"item","numeric-id":2942866,"id":"Q2942866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$F192FAF9-E971-4477-863E-F6134326D724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c588102902d5ab9633c84e00a7c5b4a327cf4a84","datavalue":{"value":{"entity-type":"item","numeric-id":6156632,"id":"Q6156632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535526$6D80C3E4-718C-40B4-8D73-9F1F20791A6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6f3d173551e58c67ddcbbf85702c07b10b27a3","datavalue":{"value":{"entity-type":"item","numeric-id":4931288,"id":"Q4931288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0765da517cfbbcd7826fb06c901511932c3df3db","datavalue":{"value":{"amount":"+0.8389013409614563","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":"Q6535526$3A95D53B-8769-4962-9D2C-23D387D60516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d0661bb8afb793b8d790ffe632fdd1f9ae496d","datavalue":{"value":{"entity-type":"item","numeric-id":2964458,"id":"Q2964458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440b536e8f6d73f74bcaef63ce5e83c5814af123","datavalue":{"value":{"amount":"+0.7453876733779907","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":"Q6535526$281D645B-50DB-4031-9483-04239FB24D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271334effd6d8f4f51088f7bb830912ee0fe7401","datavalue":{"value":{"entity-type":"item","numeric-id":5370858,"id":"Q5370858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bffb872114705f1ec1fa2a81a5bf7104b2d64e53","datavalue":{"value":{"amount":"+0.7294039726257324","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":"Q6535526$679579D6-A5C3-4073-A3B2-D721FF55256B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b2e08f73f62e28259e395453e917e84bed531b","datavalue":{"value":{"entity-type":"item","numeric-id":518402,"id":"Q518402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ca4d5cf46929cef3c2d84a88c44f4178aff8bb","datavalue":{"value":{"amount":"+0.7245122790336609","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":"Q6535526$6D4AD7BE-BF1C-4D3E-929C-1E7C1DEFB2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07622c762984e431a24d8f00c8686c029fd4655a","datavalue":{"value":{"entity-type":"item","numeric-id":2457800,"id":"Q2457800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c925d5e1e5a0e81c47c5f307fb176adf40e6cd0","datavalue":{"value":{"amount":"+0.7189500331878662","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":"Q6535526$3C79BA65-A36B-4DB3-8D1A-BC1382E4F843","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":"Q6535526$E0257ACD-DBA4-4FCD-98E7-6F65F727EDC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535526"}}}}}