{"entities":{"Q6492767":{"pageid":14071540,"ns":120,"title":"Item:Q6492767","lastrevid":99629723,"modified":"2026-06-05T20:24:27Z","type":"item","id":"Q6492767","labels":{"en":{"language":"en","value":"Decidability of\u00a0Difference Logic over\u00a0the\u00a0Reals with\u00a0Uninterpreted Unary Predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7838507"}},"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":"Q6492767$AC0149B2-5967-451B-B1A9-0443B0201250","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ce10c84f242bf82cb14ff4c928575fc34eb273a","datavalue":{"value":{"text":"Decidability of\u00a0Difference Logic over\u00a0the\u00a0Reals with\u00a0Uninterpreted Unary Predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6492767$F8EF64F8-DFF5-4823-B108-F296326538EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57e105fa9b7d709b6bdc36d2df0e17913d346f37","datavalue":{"value":"10.1007/978-3-031-38499-8_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492767$8C4A013A-BE24-40C4-B714-1EB63E91ED0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa0bbc60cbf0355cddd545775bf106af185734a","datavalue":{"value":{"entity-type":"item","numeric-id":1014640,"id":"Q1014640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$46B413D9-412A-4352-B15B-650E0C786DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d182828bb3dd01cff9766a0bb3efe1eeb4424b","datavalue":{"value":{"entity-type":"item","numeric-id":436375,"id":"Q436375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$91F11906-FEC7-4374-95F4-FA63CE9A1565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac2f6f6c3b6917d4a48dc76c8298cfe03f0a586","datavalue":{"value":{"entity-type":"item","numeric-id":6199865,"id":"Q6199865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$1585291F-C06D-4DEB-93ED-ECD6719E8270","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"227dbe0710d596965d91e536c510070ed1b54f65","datavalue":{"value":{"time":"+2024-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6492767$88D56A9F-258E-4C7A-9705-BBB2AEFC9583","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492767$151F81D8-A59A-4FD0-BC82-5714370F7567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492767$72167ED2-4E0B-4602-BA6E-4B285C6FC477","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dc387b679dd3a9ab92c199f46234dd5c3029e29","datavalue":{"value":"7838507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492767$36E8D0D1-9897-46D9-97FD-3E645D6D978B","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":"Q6492767$F4731561-7ED4-4A81-BF3F-B47904BE37C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91652d8eef5d489c9024016b6ec6e5dd271f06e","datavalue":{"value":{"entity-type":"item","numeric-id":859978,"id":"Q859978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$7C202639-951F-449D-B84B-E08D27DB0CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$326D822F-4F33-41E0-8955-89317BE5CADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156138aef606bd7a7128a417f2c9b76b54fcbdfd","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$BC0AF4C4-22DC-4461-A395-5258B413D7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9a5933e8762462281d7990349e4ceaa268530c","datavalue":{"value":{"entity-type":"item","numeric-id":2920121,"id":"Q2920121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$E22F0B7E-3A0A-45E4-B628-71552EEEEF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$B198C22F-2BA7-4EED-9336-6AC6604769F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64040bbac50b384a31548ecb60a990ea2585409","datavalue":{"value":{"entity-type":"item","numeric-id":3663256,"id":"Q3663256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$32CC0928-398B-4546-8849-A3F91E502073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db983e8102f84f2e9c46ae125c2043290b8a63d3","datavalue":{"value":{"entity-type":"item","numeric-id":3984438,"id":"Q3984438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$F5687BBA-CF42-46C5-92E7-840A3E640D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40359969f4f5859125eed64808cf617ffbded116","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$9B4FBC3E-5B3F-4558-BEF0-B063E5CFEBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d31b2b81f84baefef1475614ad07a8ff0a71aa8","datavalue":{"value":{"entity-type":"item","numeric-id":418122,"id":"Q418122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$87C59A61-44C4-4B71-A09B-F46995664591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114b5352846e734e7429f1ae0523e22dbe07fbae","datavalue":{"value":{"entity-type":"item","numeric-id":636345,"id":"Q636345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$15495F40-7ED4-4D99-AB67-BC857CCD41C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$95F8F410-6929-4936-8F42-2C7DD5E1C6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$A1CCBA5B-B926-462F-BE57-A559E26DD20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d548caf08e0e70d79f048b4cfdf9f5cd423531b","datavalue":{"value":{"entity-type":"item","numeric-id":5340125,"id":"Q5340125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$5E0F828D-44E0-4532-96C7-349ACA66098F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69cdcec3f83be688f15b6a5cbe10f3a870c3c","datavalue":{"value":{"entity-type":"item","numeric-id":365661,"id":"Q365661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$602BD65B-F2BF-49C5-B816-8B4C384C4B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492767$EF8A445B-730E-4109-8501-B46610E43968","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":"Q6492767$521CD4CB-98FC-498C-9844-56047F110960","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_Difference_Logic_over_the_Reals_with_Uninterpreted_Unary_Predicates"}}}}}