{"entities":{"Q5177291":{"pageid":7206863,"ns":120,"title":"Item:Q5177291","lastrevid":52221233,"modified":"2026-01-21T04:44:28Z","type":"item","id":"Q5177291","labels":{"en":{"language":"en","value":"Stably computable predicates are semilinear"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6413512"}},"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":"Q5177291$5931844A-BDBD-47EF-B43D-5873F556DC83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b243c76fb6064cf32d04f0ad29ed19e5846f860","datavalue":{"value":{"text":"Stably computable predicates are semilinear","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5177291$4C5D873D-BBE0-4D5B-8FA7-5DFC34E43847","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f0a87c9c8c4a6720043a331004fecf30947726e","datavalue":{"value":"1314.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177291$283E76FB-4DB7-4CB0-B41B-024F08DA58E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"444509ddd590839b905be3dab6d511c5e146ae20","datavalue":{"value":"10.1145/1146381.1146425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177291$1AE1630C-6125-4BE1-B989-266ED362C951","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"872cb1a46370e0c83f201b79a3fcb92c3a33baf2","datavalue":{"value":{"entity-type":"item","numeric-id":329609,"id":"Q329609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5177291$42287C1B-9C44-4BAA-B13A-8875B72BFFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ad8972fdf94712a646aa5b2ddb3410c7c12f7b0","datavalue":{"value":{"entity-type":"item","numeric-id":352237,"id":"Q352237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5177291$720732F6-F879-4FB9-9287-B248CF241CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a97eac3d913373b19f9f58c0d28cd799d7bda70f","datavalue":{"value":{"entity-type":"item","numeric-id":352238,"id":"Q352238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5177291$27C6626D-4E2F-4753-A2BA-12FEEF5EE822","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c1d4c8b14afd06aaee68dddabfe91b0ff559328","datavalue":{"value":{"entity-type":"item","numeric-id":5177258,"id":"Q5177258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5177291$748B90E3-B29F-4184-B51C-1C611325A757","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e649817b371c18e76a91dcb5d0292453368cf63","datavalue":{"value":{"time":"+2015-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5177291$CDB9CCC4-5FEA-4512-82DA-F98FD25171A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177291$3BDD6C10-1540-4380-BBBA-FA013C0D6B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177291$4335AA3C-DF01-413F-AEF4-16353AAFBD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177291$CCD8645C-71A7-40CF-989A-2E5B1330C024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177291$5FDD906A-8576-4F89-A612-C5ADBB511D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177291$2C63AD6C-52E9-4297-B898-4E95D7B082CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1596eb8b6220644123d3d644312e420b14539cf","datavalue":{"value":"6413512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177291$7AB1EF27-1F64-445E-B1E8-A22C6C1883BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef78cf85251015a154a56912d0ba30cf4a8ec66e","datavalue":{"value":"population protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177291$32B6830A-9385-4EE2-A160-628E64842B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36684c3e7ff30f81e4698e5d7b5f91b220a88e16","datavalue":{"value":"semilinear sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177291$8BF8D3B0-0CED-412E-BE19-4DF0F1319430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddb3ca3e46ac232ef6fa9b548363dc52964e02d","datavalue":{"value":"stable computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5177291$14024366-3533-4D2E-8501-316F4951E422","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":"Q5177291$C62A1A81-5F5B-473D-9605-E717E1CA85A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efda919b0e6c824a8bf71b5b1ee98ac61149ec84","datavalue":{"value":"https://doi.org/10.1145/1146381.1146425","type":"string"},"datatype":"url"},"type":"statement","id":"Q5177291$C2E2BFE8-8D4E-47E3-BE85-DC089F18DD5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de5d525bf5a5dada6f9ad3b04592bdfe0af52c17","datavalue":{"value":"W2091275311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5177291$ADD4BC9F-EB44-4F71-AF05-616C83B82E8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4daff786e4bd360529b0a1804c9c88a65e46cd48","datavalue":{"value":{"entity-type":"item","numeric-id":1954251,"id":"Q1954251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88ef2acf570f1bb0f5ec6112eca723f0c65cd12","datavalue":{"value":{"amount":"+0.913612186908722","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":"Q5177291$B0CB8D02-A8CE-4AEB-93FB-B1543B5A4D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61b12d5546025b8ada2d06b75ec332acd315ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5300908,"id":"Q5300908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87aa761a12468bc0e1fcdce33de6ec8f04532c9a","datavalue":{"value":{"amount":"+0.8523090481758118","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":"Q5177291$D18F0C22-1D57-47ED-9D7B-3EBE19C65090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9af16e5202b32704ccd50e52d12f594812e111e7","datavalue":{"value":{"entity-type":"item","numeric-id":3586090,"id":"Q3586090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03ae4a7c6608e51e70de33baab1f898cc8600e8","datavalue":{"value":{"amount":"+0.792235791683197","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":"Q5177291$429501A8-B358-4AED-874B-CB80AED9D426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825b9349155da95529fe7417d226aa7a88f79d37","datavalue":{"value":{"entity-type":"item","numeric-id":533894,"id":"Q533894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f98a872dae2d68e30ba2019100c9bb99f9d2b8","datavalue":{"value":{"amount":"+0.7919864058494568","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":"Q5177291$1DFC6F62-B2ED-453E-95C5-4631C57DCA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be87c415cb4f6e68c9259e09227777905ced7738","datavalue":{"value":{"entity-type":"item","numeric-id":2375293,"id":"Q2375293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00342636a52bde70f67088fa446571bb0f7a5a05","datavalue":{"value":{"amount":"+0.7875683307647705","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":"Q5177291$FA809402-0879-4D4E-ACE7-ACBC098C6B68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5177291","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5177291"}}}}}