{"entities":{"Q1306793":{"pageid":1317543,"ns":120,"title":"Item:Q1306793","lastrevid":67350900,"modified":"2026-04-12T17:02:12Z","type":"item","id":"Q1306793","labels":{"en":{"language":"en","value":"Normalizable linear orders and generic computations in finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1348045"}},"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":"Q1306793$0C818748-5491-4808-9B93-BD31422A91AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bab093f01c5f496ea4428f972ce2c7e07c12a1e1","datavalue":{"value":{"text":"Normalizable linear orders and generic computations in finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306793$320C6DF2-85CC-4A86-A566-42D107DE2A4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0eb031d4f21652f0f004ea54495768fed5c5671d","datavalue":{"value":"0933.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306793$748831B6-16D1-4A77-93BC-24831C933939","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bd90a72a2ddd1121f42abb5e05b67a2f6f8cd23","datavalue":{"value":{"entity-type":"item","numeric-id":1302300,"id":"Q1302300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306793$2B6F4A53-0E5C-44A2-B98F-1DC0C57E31E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed05578318661e72bee1a7a8c30f5289ba97ccab","datavalue":{"value":{"entity-type":"item","numeric-id":234734,"id":"Q234734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306793$C2BD5612-B84D-4906-85FE-149D0CC0BB5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306793$72827DEC-88A9-4B86-942A-C4A7FE4CA433","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02000238ef6e862a5c8de82bbe4b4eb0ee0b8beb","datavalue":{"value":{"time":"+1999-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1306793$58B55CB1-0B91-4736-B815-72E4C72E43F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306793$A404E6FF-F6C9-41F2-90D1-2CE5C620F9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306793$40B8DBE7-3C36-4252-8C59-394FC22F257C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306793$DBF3E0C7-A00D-489B-873D-EE7EBF6B31A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306793$BABA7810-C327-424C-9B2E-966E30ADE111","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db813146f1b5accffa4da4dea6d58033f621e254","datavalue":{"value":"1348045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306793$39D8A8FF-E4CB-4179-98D7-5DC3A241577A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306793$1D179EEC-E42F-4315-9F50-D06DF2466DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306793$585135BB-E6AD-4AAE-A791-EB524FC3B883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97302afbc614f669161b8c82e3d98be6b3e1ab98","datavalue":{"value":"normalizability of linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306793$3F012515-5140-4DAE-A43B-895A17C10564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f854cfd554d321d875fb1ed246975d7fca594130","datavalue":{"value":"generic queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306793$FB43FEE7-CA5D-4932-B2D8-E937C83AAF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07700acd50c5427f6fe5af9aebca9195e0f8aa87","datavalue":{"value":"least fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306793$7E4090C3-D511-4FB4-B01F-62A765E25D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2421de1f791f947403b748c2b533d67ad1210b39","datavalue":{"value":"finitely axiomatizable class of rigid structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306793$DAADE3BD-FA36-46D1-BFB8-07BC331BDCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc77c827775ac81f5019ae421d12236c63b0f6f2","datavalue":{"value":"Stolboushkin's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306793$4B6DDCBA-7614-4263-8A5C-DB2F85AD41AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"387b675bd307224bee08ad8f73becb2cccbd9a8e","datavalue":{"value":"Dawar's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306793$D176F363-4299-428C-AD00-2461C9FC6983","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":"Q1306793$25031AF3-6913-4847-802B-EE2ACB3344A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bdf68ad0065fe5d6d2d52ca21f7c58fc3c10967","datavalue":{"value":"https://doi.org/10.1007/s001530050128","type":"string"},"datatype":"url"},"type":"statement","id":"Q1306793$C102257A-83EF-4E32-8333-8720A465BF08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c15abd26481eee6abaee43c3df0d5691fcaff01a","datavalue":{"value":"W2010125230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306793$16257C9E-B524-40F9-BF6E-F62807CE3A22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0eb24e5a69f5244cdd87da52398c9019735c175","datavalue":{"value":"10.1007/S001530050128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306793$90B8484A-AC1A-445E-A638-ABEBD0FEF68E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"483b87c64c63ba01c6d416b0b070bbbbcf25661b","datavalue":{"value":{"entity-type":"item","numeric-id":1371431,"id":"Q1371431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967a2e22432f6fbce4b090c827d9c85de4c2c717","datavalue":{"value":{"amount":"+0.7730664014816284","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":"Q1306793$311A4341-B186-4F33-A249-9AD4F92F3477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f22d77fb9b1a4f445dab084d4c2d1ba8cef0282","datavalue":{"value":{"entity-type":"item","numeric-id":4894726,"id":"Q4894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bac69482dea4563b19ed1684f8223e2c7f2c141","datavalue":{"value":{"amount":"+0.7380689978599548","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":"Q1306793$100A82AC-B628-4A2B-81A4-8F09B364068C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba04c2fc94f08ed0de5342862b0fbb8c1ac0c52a","datavalue":{"value":{"entity-type":"item","numeric-id":2986799,"id":"Q2986799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2df4b654ed816c812ed416ba12baea59f71446","datavalue":{"value":{"amount":"+0.7350762486457825","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":"Q1306793$B7DC7FA3-5CCD-4C3C-A116-763AB2F97FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee551284211c0c7eb59b86d9972bb28d3a85a796","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6a0c1991e2cf577358a514917d917358b275c6","datavalue":{"value":{"amount":"+0.7262566685676575","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":"Q1306793$6071768D-DAB7-4B94-BFDF-3AA6A423E437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f576b40445ded05683aed6256e5371a4f0d961","datavalue":{"value":{"entity-type":"item","numeric-id":5394583,"id":"Q5394583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28bd7dfde14c3c952bec371b4ce1b958d797d0e","datavalue":{"value":{"amount":"+0.7250213027000427","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":"Q1306793$60EB6A01-A72F-48EF-BA51-F58C0C4D819C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normalizable linear orders and generic computations in finite models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normalizable_linear_orders_and_generic_computations_in_finite_models"}}}}}