{"entities":{"Q1807463":{"pageid":1818205,"ns":120,"title":"Item:Q1807463","lastrevid":46827414,"modified":"2025-12-25T16:28:03Z","type":"item","id":"Q1807463","labels":{"en":{"language":"en","value":"A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1364698"}},"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":"Q1807463$00FD776E-E54F-4C6C-B129-F75121552637","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"007404e3fa867ca7067a62396bee385660e30e2d","datavalue":{"value":{"text":"A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1807463$8573D954-0E28-4E4F-8B13-C814062FB3F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8011226f00b38f5a383685ae68e6848848a7e521","datavalue":{"value":"0940.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807463$D3C712A6-5D14-46C4-BCB4-EDAC2F549D5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0274b95f5ebd1bc36ef9886bad1c27ace1b0c27b","datavalue":{"value":"10.1007/BF02358996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807463$332C4209-7CF8-44B8-BC46-95C4FC153535","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94b09d98ecfbc58c6f9b7cf10e965a5f90896b23","datavalue":{"value":{"entity-type":"item","numeric-id":741170,"id":"Q741170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807463$85F0CFFA-78CA-4A1D-BA92-794390B0144E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807463$55CE0E09-AF29-4A7F-B293-33AD96753CE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44ea73af336f54e7d95b283a1b6808a7f8e98994","datavalue":{"value":{"time":"+1999-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1807463$BC91ACF4-5B0E-40E3-A3C8-2F4967141917","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"652565d7a4bf6ebdb196b3fcc9136db12496d7a9","datavalue":{"value":"https://eudml.org/doc/68551","type":"string"},"datatype":"url"},"type":"statement","id":"Q1807463$C8936408-6A68-45C8-B1C3-8C6DF41EFD33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807463$49C02C04-3E50-41F9-92E4-ACEDBF7C5903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807463$4E55DEA7-F727-4599-BFE9-22072D62094B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807463$99058A90-1786-4CD2-B0E2-5E59B7FC7E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807463$C9EB5655-F70D-4666-B391-2E17A2C58C54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b07183210635c070d28f37cb0f759f7c822a6aec","datavalue":{"value":"1364698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807463$9E656E4A-A4CD-4E98-891F-1D0533631FD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f92f17c7682e566122ede2813fbc0add1c7ccf79","datavalue":{"value":"exponential diophantine representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807463$06F54BFA-2340-4F72-9F41-5B70BF0547AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c7031418e51cc601e012608d4b8d0d0c53a567","datavalue":{"value":"recursively enumerable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807463$5C48FAC8-840E-4813-8B78-CCAFB32343BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f045472d9988187d917a6eb3451b11df3125e5b","datavalue":{"value":"arithmetic representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807463$78959549-B291-4A59-9D88-5DA0224652D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"641bd13948a2b33cd2c04ef50122d0a777b85ab4","datavalue":{"value":"bounded universal quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807463$00530C29-3E75-4E65-A0EB-68B7AA69C5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5225cf4328e6361a1f2297d5381a759aca5635e7","datavalue":{"value":"Davis normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1807463$D047CE7B-B6D4-4C19-A534-443644E86377","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":"Q1807463$CE49E605-0D3C-46DD-8530-9C5868B1F829","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"012b1d6c0f10a6942b99540dd3ba9e03f65c4e47","datavalue":{"value":{"entity-type":"item","numeric-id":5820550,"id":"Q5820550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807463$FD253C1D-B122-4C7C-BDE7-1E48A1676C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197321586b52697dc5005c2bf7b5e782bc94762d","datavalue":{"value":{"entity-type":"item","numeric-id":1131250,"id":"Q1131250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807463$EEAEC796-69E1-460D-A285-C51DC4033347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9250fbe87a12ff3cd4c41a0b8a262c53f528f1","datavalue":{"value":{"entity-type":"item","numeric-id":4404870,"id":"Q4404870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807463$14E16BAA-FEFE-4B02-AE72-0DF45B75BD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3decb5576af02bccf9d64fc9288d046ab24bf2","datavalue":{"value":{"entity-type":"item","numeric-id":4091885,"id":"Q4091885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807463$7BD8F6E6-1985-4BDB-AAFF-6F7506B0D59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807463$2B8C0DF9-3EAF-47BE-B3B9-9BDEE8028001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e8375f172c94b39de0cf343aa491f3c48d1178c","datavalue":{"value":{"entity-type":"item","numeric-id":5686030,"id":"Q5686030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807463$EA7A2D55-1AC5-4902-9590-2F3B0F43F4B3","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":"Q1807463$B956F58A-3798-4436-A611-91AD74EE94D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca087375a60e2891b4d97e0a3871176154b08aa","datavalue":{"value":{"entity-type":"item","numeric-id":1326783,"id":"Q1326783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807463$A5203BC2-D74D-463C-A470-D3B795E83028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8234aef158df8ccea7b73b6f2497ce8cc52713","datavalue":{"value":{"entity-type":"item","numeric-id":5813178,"id":"Q5813178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807463$BB69928A-B6F8-4B55-AC32-B1AA39A72BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207ae9156d108ff6af765d5bffb42c1bfebb4e11","datavalue":{"value":{"entity-type":"item","numeric-id":4044579,"id":"Q4044579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1807463$F74E20C7-03C5-412D-92CA-967BB45FBFE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c86ae69434c85b00f812b52fa81b1cd55ce2e3e8","datavalue":{"value":"W2082956932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1807463$EB4E8D4A-9AF0-4063-8A12-BCAD929FC467","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77cd2e657c11150a016d420f9316be29c0d5043","datavalue":{"value":{"entity-type":"item","numeric-id":5148103,"id":"Q5148103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7251b6f49f8feef719f74f533f189da71200b47","datavalue":{"value":{"amount":"+0.8067265748977661","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":"Q1807463$7B457D3E-7637-4519-B62C-CF2986A6004D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165b2cfdc1cc2b4a452dbd327e4ca6739d80b368","datavalue":{"value":{"entity-type":"item","numeric-id":3734384,"id":"Q3734384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a2b0666873a0b57ce7948e87385b1d5f9c587a","datavalue":{"value":{"amount":"+0.8003647923469543","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":"Q1807463$F8228F2C-03B8-45AD-9D35-B57CA85EE954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e42b34c2688d2d880848370dffb67bed95049f4","datavalue":{"value":{"entity-type":"item","numeric-id":393229,"id":"Q393229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff1da31efa011735fbe18be29e912cf3f490eb4","datavalue":{"value":{"amount":"+0.7951762676239014","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":"Q1807463$6504CD9C-6C70-4012-B59F-375732DE30E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e88d09dfc3fc49faf039dec03c167fe7133f484","datavalue":{"value":{"entity-type":"item","numeric-id":1326783,"id":"Q1326783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df06f633b47fb2334b9e8f15fe5cfa7da8554da0","datavalue":{"value":{"amount":"+0.792790949344635","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":"Q1807463$E45894B3-BD99-4009-AE10-81C4DB417B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd87d4cafddb9b02c7005acd3f01d56cb274394","datavalue":{"value":{"entity-type":"item","numeric-id":1201599,"id":"Q1201599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a735604c3c3d99f56c705cbeebd9ebf66a2fe2","datavalue":{"value":{"amount":"+0.7773128747940063","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":"Q1807463$A7917039-CA88-4CBD-8025-07F37616CEB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1807463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1807463"}}}}}