{"entities":{"Q5918790":{"pageid":8049821,"ns":120,"title":"Item:Q5918790","lastrevid":56698272,"modified":"2026-03-18T23:32:30Z","type":"item","id":"Q5918790","labels":{"en":{"language":"en","value":"On the decidability of finding a positive ILP-instance in a regular set of ILP-instances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7578097"}},"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":"Q5918790$6DC6CDC8-4679-49D5-A96C-5E9169A0BA67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62364722690daf4f3edd0e1147e00b9e57bcdfb5","datavalue":{"value":{"text":"On the decidability of finding a positive ILP-instance in a regular set of ILP-instances","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5918790$6F6F2E94-D7DF-4D44-8A21-62C1E2035909","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d326a8b7cd29d8ab00e505884681ad6e2d923b","datavalue":{"value":{"entity-type":"item","numeric-id":544622,"id":"Q544622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$A2AAD1E8-5378-4729-835F-2CEF2BE33D98","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":"Q5918790$6678F26F-E002-44B7-8A8E-96E956723CEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c2eb8fa17c20bdfa5b9ef95dab30ffa7f0677b","datavalue":{"value":{"time":"+2022-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5918790$323B3FBD-14B9-481D-932E-927FE381E57B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918790$A18097E7-21D6-4097-B3F5-4B95E5204D70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52d126231850f80067692d09963ca30eed4c600c","datavalue":{"value":"7578097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918790$5BDEDCC0-144E-4079-AE2B-197D4F7C8250","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c2ad928ef7e075a5826c42714da18f3ea07be26","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$0995EFE8-33BD-450E-9DA6-0D667F282F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"52976748fd61906f43fb9f1c7e04fdac3cae57fa","datavalue":{"value":{"entity-type":"item","numeric-id":16196,"id":"Q16196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$DB379C26-6737-456B-BEF7-66D88B22E7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b42d4a8ff78b1dff5eaa3dec29c31bcecbe27dc8","datavalue":{"value":{"entity-type":"item","numeric-id":22782,"id":"Q22782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$C98CB69B-D6A9-4E7F-827D-1726C617D636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$B3A47B91-EC69-4C22-BB6A-38D742DABBC8","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":"Q5918790$D2F309E9-8B3A-455E-9844-BA3770C87C12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"135f3776b2bbd26391f8a6861a5147698240cc5e","datavalue":{"value":"https://doi.org/10.1007/s00236-022-00429-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5918790$C3EEF05D-0DBD-48A4-8A1E-6045EEF3AD31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca49a63e770843bfc20b94726b869f40cf47a75a","datavalue":{"value":"W4289793427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918790$6C910390-02C3-4E38-892D-0EED1478DC12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e61e70481c52071e5da07b3a9a4a3f95afcea9","datavalue":{"value":{"entity-type":"item","numeric-id":1041028,"id":"Q1041028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$0AA24430-BA23-453B-AB84-D678F1FEFFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$B90F10DC-51A8-48AF-8C82-292E20EB0A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c830392b42198068dee3836469bacb6b1c47d02a","datavalue":{"value":{"entity-type":"item","numeric-id":2944538,"id":"Q2944538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$95849035-A3A3-4FFA-8B56-18D2ECA17FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab3c2cfe0d841d3f105086daa6740fb925f00d3d","datavalue":{"value":{"entity-type":"item","numeric-id":5896894,"id":"Q5896894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$82703F49-A65F-4B3A-8EAF-E5C6563D5F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb2ec643efbdc3fcf8e000088c6df2e5ea60e58","datavalue":{"value":{"entity-type":"item","numeric-id":1749387,"id":"Q1749387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$2BB6B660-65D0-417F-9748-E57F45C766C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6e247443c9de4c02b1275fe9cda1acaddc5349e","datavalue":{"value":{"entity-type":"item","numeric-id":710632,"id":"Q710632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$82D3807E-EA90-43F6-B34B-8E0ED31D882F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17220cdd263d8a66924576518841fb33b52c1b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1647695,"id":"Q1647695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$CC0C9D0C-0CE2-4980-96F8-088F48477B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd01133762b64b29dce0b2276e7fa30b2112d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3639219,"id":"Q3639219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$68B16DCE-0853-43C6-A07F-A3D2A345D6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$5BC590E9-E954-4DF3-99B5-86AF349A62A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d23332a0c76219895809984ae8d16a95bd89a5c5","datavalue":{"value":{"entity-type":"item","numeric-id":4217604,"id":"Q4217604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$0AF07446-BFAA-49F7-A390-D884EB40C69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1e8c199d0a3738b5df7039fa423628b9c9f24f","datavalue":{"value":{"entity-type":"item","numeric-id":4040221,"id":"Q4040221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$4B2141D9-B243-42C6-86C0-5234E5561301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2785294379ceb294e002142cf5348dd48104673e","datavalue":{"value":{"entity-type":"item","numeric-id":4217266,"id":"Q4217266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$22D0F377-AFF4-4883-8C51-6693C4802725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fcc155feb3a34c461a8622c635985c8d102f65","datavalue":{"value":{"entity-type":"item","numeric-id":5500698,"id":"Q5500698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$A2AE8B00-2E0D-4D19-BF0F-1A46FE3F9C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"196b57c2656cfe72b45d461bb655e7d2393e8268","datavalue":{"value":{"entity-type":"item","numeric-id":2096592,"id":"Q2096592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$49A05C14-8144-4604-8572-F4A9584BD190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$01621FC3-4AFF-47F4-81F0-96FBB0808550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"335215ac290c3406e61531d4b0ea98275b33f5cd","datavalue":{"value":{"entity-type":"item","numeric-id":3007635,"id":"Q3007635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$92F24987-CB72-4E15-8597-4D016F065F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cc75d0170c0f77a05c577bd0244d258a28e193","datavalue":{"value":{"entity-type":"item","numeric-id":4348133,"id":"Q4348133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$AB3C3D1F-AA3B-4FF5-8D0C-D61817067ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da77ca17dbf3009a961ef88d88da7ba9ba204c7","datavalue":{"value":{"entity-type":"item","numeric-id":3392968,"id":"Q3392968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$4DDFEA7A-9A92-4B5E-8EDF-EA6429946FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e0467c6d6755db254dc5cf85b02a0e00fc80c6","datavalue":{"value":{"entity-type":"item","numeric-id":375967,"id":"Q375967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$E584F954-4BDB-41DE-993B-975786CD81B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8690bb8bde37058e91be4991811831bc73f8579f","datavalue":{"value":{"entity-type":"item","numeric-id":2262977,"id":"Q2262977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$A754E31C-269B-4535-BA1C-E8C39093C62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e66ec87d2d0f157d229cd5d71124da72ca44113","datavalue":{"value":{"entity-type":"item","numeric-id":327306,"id":"Q327306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$159CE094-999A-4334-9CB6-EDAAAB969EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dab107e270539e08732f99ceb4b022a863c9a7e2","datavalue":{"value":{"entity-type":"item","numeric-id":3707408,"id":"Q3707408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$6CE5234B-F889-48D5-A5B2-F7BBB1640814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6f12679e730f186e807cbb39398fa0f8075753","datavalue":{"value":{"entity-type":"item","numeric-id":4404425,"id":"Q4404425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$C63F0F32-F409-4616-95E6-940FD1DA1656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c2ee29aae708a6947523411ab2475c6fbd532b","datavalue":{"value":{"entity-type":"item","numeric-id":5970850,"id":"Q5970850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$748AFA5B-8D9E-44D4-878F-CF5A2053CD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"735f7434cdd6d562dc052e195c89a16a2cd38039","datavalue":{"value":{"entity-type":"item","numeric-id":2062120,"id":"Q2062120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918790$7B883F1F-9B69-4F94-816E-806E27CCBA7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7edb18107aa0f1c9ff8baee6acdad0fb458cb770","datavalue":{"value":"10.1007/S00236-022-00429-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918790$BB4D8BB7-C638-4D04-B746-F23B040C3C0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b46897e215d21b0397956a6a2e07abb0450316cd","datavalue":{"value":{"entity-type":"item","numeric-id":5970850,"id":"Q5970850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0e4d0fbbd3608a8437cc89fc68e4b8211db93c","datavalue":{"value":{"amount":"+0.9930575489997864","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":"Q5918790$6D2356FD-2F48-4D6E-A9DA-BA1F69856475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"581a83409a185029b0c69f7d00a4c14fc468f762","datavalue":{"value":{"entity-type":"item","numeric-id":2062120,"id":"Q2062120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a9dc0a9c943d7afde3d5b63e79c661376d10b03","datavalue":{"value":{"amount":"+0.8096327781677246","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":"Q5918790$5B1C07ED-63D4-4E1D-BCDD-6A4D2749BF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61ae02fabb00819034026e8e02e394d5d38bf768","datavalue":{"value":{"entity-type":"item","numeric-id":1647695,"id":"Q1647695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9591e5cd18f3d49b237d08757a69c77b6f228085","datavalue":{"value":{"amount":"+0.7561027407646179","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":"Q5918790$0BB1F6CE-B617-4C5D-88C3-EE77CAD74826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c618496e93fc527a03f41b9135bca33a156bf0","datavalue":{"value":{"entity-type":"item","numeric-id":515665,"id":"Q515665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b111dd166e0e7f900668a082b1a018ab3102cd56","datavalue":{"value":{"amount":"+0.7323899865150452","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":"Q5918790$49665871-9B77-4BD2-B31C-9447A9058037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9ae1f4d9d0010e6c6dc9dde37df264effd8b59d","datavalue":{"value":{"entity-type":"item","numeric-id":4995360,"id":"Q4995360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690dc3e8b4ba929685a676cf5203c8e9781ca7df","datavalue":{"value":{"amount":"+0.7318757176399231","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":"Q5918790$0A78F05E-7080-4493-A906-E3DF7D7B6E7A","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":"Q5918790$C829032B-D67E-4264-A0EA-FF9061D1B9A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5918790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5918790"}}}}}