{"entities":{"Q1153682":{"pageid":1164431,"ns":120,"title":"Item:Q1153682","lastrevid":66389394,"modified":"2026-04-12T09:44:45Z","type":"item","id":"Q1153682","labels":{"en":{"language":"en","value":"Axiomatic data type specifications: A first order theory of linear lists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3725680"}},"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":"Q1153682$D9FF8E53-B453-4675-9CAF-7CAFB72B2E5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c43ac6357a612f2fdf953748f9b9b2eb48bc8740","datavalue":{"value":{"text":"Axiomatic data type specifications: A first order theory of linear lists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1153682$0753872B-4070-4D11-9127-7EECE67C5926","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d56f94aed81e53c5f347de64906aaad5f58bde9f","datavalue":{"value":"0463.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153682$53FDEC15-6B0C-4C96-AFBE-87FCA6F701E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a9d33dd5fb8d98b56b74e7ce47b051dc321035f","datavalue":{"value":"10.1007/BF00289260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153682$4783F568-011E-43D2-A639-1D0B4F5B1866","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e25256db919e280a3f5ef842e9575010d5edcf50","datavalue":{"value":{"entity-type":"item","numeric-id":1152217,"id":"Q1152217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$08023A93-7C7F-423B-84F4-8CCBC6B764CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2475a9f15ca7be094556a0e7acf72a0f0e483d","datavalue":{"value":{"entity-type":"item","numeric-id":1138901,"id":"Q1138901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$8F255AA8-6BDD-414C-889D-8978CD231F40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$C23E5139-7871-4D4F-8C60-0E0E3BB7FBA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1153682$0BDAB705-C013-4974-9380-1AFA317B20D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153682$33C4CD9F-7F1A-4FDF-B1B6-9D98417347B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153682$43BAAF2C-40CC-405C-9210-D279CE339BDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"857972fc319c2a2d75176a02d48e544415e29121","datavalue":{"value":"3725680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153682$68AB436E-5D65-4AB5-B595-AEDECF2C368D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158732d194a22169613049278f78b9fb482635ab","datavalue":{"value":"data type specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153682$C6213C93-681F-483F-B03E-C0970FCF620D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a572801ff6dbc0f826a3bf937f0c79405918498","datavalue":{"value":"formal first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153682$5E156821-4917-428F-BAE5-4758CFF1E6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b1357bbb77d5c3f9264830beee293e71d813c54","datavalue":{"value":"linear lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q1153682$39F5155E-02E3-4577-ABB5-472F1418B6D9","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":"Q1153682$85EFC914-149F-4872-806F-8D727265A932","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6952c964346571cc46d55c2182e9c31b3abf5e35","datavalue":{"value":{"entity-type":"item","numeric-id":1236426,"id":"Q1236426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$81596F95-260B-41A0-8F13-9FE8D8F76BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$C35B37EA-0D07-4BB0-971F-00078651F605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$9A32A286-1BF4-49F9-A477-5D99E5A0DBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6da331e810a932dbfb0f056c5c8b01e6d9d2c37","datavalue":{"value":{"entity-type":"item","numeric-id":4127984,"id":"Q4127984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$A9B94763-EF11-4AC2-BA4A-9418369E4DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$96DD1470-9C68-49EC-A7C9-0F4B70887831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$102E76FB-B6C9-40C6-B7B9-1C705DFBA8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e724d846111e1f98a2ba316d968f43250ea55fac","datavalue":{"value":{"entity-type":"item","numeric-id":5684221,"id":"Q5684221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$B708534B-0D9B-4E9F-95BB-CD5A6E19586D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$39984F2F-ACA3-43E0-B10E-36F2947530D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$341A1C4A-28CC-4AC8-8C87-3E39D3F235DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9bcd41a0a655569809a1c0f240490166298c56","datavalue":{"value":{"entity-type":"item","numeric-id":4772698,"id":"Q4772698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$F367B641-DF18-4DB0-BF98-C359BB704CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685d4fe972603335a2433d392bcd78d8d907ed15","datavalue":{"value":{"entity-type":"item","numeric-id":5736317,"id":"Q5736317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$859A2EB4-C0A3-4059-9DE3-4FFB8205C028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae8d4019bbc3963780842028820817d531f0c4a","datavalue":{"value":{"entity-type":"item","numeric-id":4120116,"id":"Q4120116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$7C2F4184-DC56-4963-802C-808D9E3F4544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88611f33a1bf3cea41b284281a7a4d69934a2bd8","datavalue":{"value":{"entity-type":"item","numeric-id":3943975,"id":"Q3943975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153682$832CFF09-1CB4-4543-9597-2F302DD451A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c56b0fa0f6951933b16d8c78abf64189717853bf","datavalue":{"value":"https://doi.org/10.1007/bf00289260","type":"string"},"datatype":"url"},"type":"statement","id":"Q1153682$524D3F79-CD00-4522-A2FF-1AB95A0346EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18022ad7029902894e58318715aace545b7327ac","datavalue":{"value":"W1986396304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153682$7CF29D87-046F-4FD9-9C76-90DFB0C43B50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatic data type specifications: A first order theory of linear lists","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatic_data_type_specifications:_A_first_order_theory_of_linear_lists"}}}}}