{"entities":{"Q1307159":{"pageid":1317909,"ns":120,"title":"Item:Q1307159","lastrevid":70664508,"modified":"2026-04-13T16:02:15Z","type":"item","id":"Q1307159","labels":{"en":{"language":"en","value":"On extensions of constructive linear orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1353823"}},"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":"Q1307159$FCFBEA6A-EF94-40EE-B9C6-C1F1D58F21E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d4177072ee185bdcb1783de16950ac467bb20b1","datavalue":{"value":{"text":"On extensions of constructive linear orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1307159$1ABFC5EA-37FB-4BB9-9712-E4F7ED3C300F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"096b11b3fd37bc87171fe0bf56894e1fb9b12761","datavalue":{"value":"0924.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307159$186993C2-4380-4874-A182-944ED6BFFA7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307159$8FEB5FEB-7336-439F-956C-DE6F96A44C8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1307159$84735AD0-A1B4-45D4-BA4B-5FBADEBA94DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c7c4e6f41cc164553359d1b2cbf960f57071bd8","datavalue":{"value":"The author constructs a strongly constructive discrete linear ordering which has no constructive homogeneous elementary extensions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307159$022D1430-82BE-48DD-A267-2FD945DE1999","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307159$0580995F-C343-43C7-A560-BF58F16ED25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307159$F8394E03-6316-48D5-885E-BC663BE190C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"313a816d4d972e81e0fe93bd063e674e6fea2f78","datavalue":{"value":"1353823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307159$1553EDC3-A535-41ED-B3C0-082DE7D66B55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b2c2059af58e22e0d5de707b1eb4f3ceb83c5a1","datavalue":{"value":"constructive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307159$A45C401E-2209-4704-9E59-118B8C1AB50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b11d01f155b9d799c8ffe1fc5e6a1e5d8ab6a63","datavalue":{"value":"recursive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307159$0BC4FE6D-4718-4E53-99A7-3EB336AD3014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156b28098896cab7e211ffce1d9dd1c4c99dbd8e","datavalue":{"value":"recursive ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307159$693DE4F2-32D7-42D3-96CA-1974AAA1C01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c76255763d51c706c65a0c2c09773649c31ff1b4","datavalue":{"value":"constructive ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307159$182303A2-B82E-499A-A147-081CF27A9BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"177c5aa3238d94cd21e9e4530e23299b50515127","datavalue":{"value":"homogeneous model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307159$39FB9598-A27B-4867-A9B9-7ABA3CBD4D54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ab4445ed890393b5544a4fbe148f00f69a00ff4","datavalue":{"value":{"entity-type":"item","numeric-id":699098,"id":"Q699098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307159$A2A12163-1E09-4A44-9D5B-6509E71033CE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307159$E224588B-EDFF-4E03-AA6F-CE4F8BA03784","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":"Q1307159$509F4B5E-5211-4FFF-8146-DFAF7EF9F950","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On extensions of constructive linear orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_extensions_of_constructive_linear_orders"}}}}}