{"entities":{"Q4894729":{"pageid":6924308,"ns":120,"title":"Item:Q4894729","lastrevid":41676874,"modified":"2025-05-07T02:41:55Z","type":"item","id":"Q4894729","labels":{"en":{"language":"en","value":"Fluted formulas and the limits of decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 932354"}},"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":"Q4894729$40D2F5A1-F449-48FA-BF11-FC59C1FAFC79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9f5e73fc94e3f8506c80d1cd18b65248d77f8d9","datavalue":{"value":{"text":"Fluted formulas and the limits of decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4894729$5ED67C3F-E5E4-4F95-A88F-6E30E294F831","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d299f5059ab13334f6901c85788c4d5ecfa9eadc","datavalue":{"value":"0858.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894729$2429D66B-709E-4270-9BEC-F345B7DECC60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19480c4b08716472b4d0775a7f3ca9c0d0d7f75e","datavalue":{"value":"10.2307/2275678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894729$4C9F7D98-2D87-4B3B-A91C-2D2969CD6DA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4ede1df904a46e87b1de029c9fcf60753462f3f","datavalue":{"value":{"entity-type":"item","numeric-id":689222,"id":"Q689222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894729$6D34FEE3-08E6-4787-A34D-14A5D92EA442","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894729$3BB5A799-3066-412B-89B9-A2FBF7DDFF6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b70610fb3a1550db30dd811e2db8a55951b17417","datavalue":{"value":{"time":"+1997-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4894729$2E19BF1D-E9C7-4B48-B294-D7E072EA33CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3af00db5400f1c2f932f3882a73a5e011cd4056","datavalue":{"value":"https://surface.syr.edu/eecs_techreports/154","type":"string"},"datatype":"url"},"type":"statement","id":"Q4894729$A0F667D1-F2CB-4F6B-90D7-FDD111E0FF54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894729$4CB0ECFB-A6DD-4857-9828-7BAE9DDF7C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894729$B3EFEEE3-CC28-4999-B3BB-FA6D31872597","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9a22b4926f20c4aceb82a0919596b9a638b2e13","datavalue":{"value":"932354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894729$3C078A28-7FB5-4628-8A79-A81124C62A57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894729$B78EAD69-B333-495E-9EAA-520C59E2453C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f2d5a75db45f46ef5d20e696d693588922a404c","datavalue":{"value":"fluted formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894729$7E8AC08B-F198-4667-98C6-035924187DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894729$DFE7F885-4171-4980-A132-446C04C7AE54","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894729$3261E660-4DA4-4BDC-B0BC-A0F9FD7F851B","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":"Q4894729$B55C6981-9468-4903-81C7-4A145299A702","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae830b8ccd92e8def03fa7d8e65564d35504c2f7","datavalue":{"value":"W2044898496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894729$F47D3831-D09E-4CFF-A553-35CFB35A7483","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14cdc73693d6a9ebed090d1b7732bffae2a3283","datavalue":{"value":{"entity-type":"item","numeric-id":3925141,"id":"Q3925141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894729$6D5F7C79-A195-4B75-A532-0BF0B67B422C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e68396e46b8558c3f7ede0949ded44594eb29a","datavalue":{"value":{"entity-type":"item","numeric-id":1182709,"id":"Q1182709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894729$D16216BD-7390-4F7A-A98E-B8417ADCF536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a186a9c321a0804ef888e42e702eb98d42d8b0","datavalue":{"value":{"entity-type":"item","numeric-id":754174,"id":"Q754174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894729$BFAEEF0C-4E91-46C1-B6A7-F91A1DBF11C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eefae550f62aff12554369d4dfc50d140d03237","datavalue":{"value":{"entity-type":"item","numeric-id":1924331,"id":"Q1924331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0f7ffb63c53fce35e1666b4c51da4494c26529","datavalue":{"value":{"amount":"+0.89561486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4894729$E51C137E-4CC5-4361-A49E-083A6629847E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f42eb3a43293289120a3c6e1942c65d53f0d6b9","datavalue":{"value":{"entity-type":"item","numeric-id":2767036,"id":"Q2767036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f3753906e72c7179dae725871c8bb793833747","datavalue":{"value":{"amount":"+0.88779545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4894729$C9B0708C-0BA1-4F00-B6B5-E0D456590DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3338109217cdbf979a9b43249c8a5c7553ebc0ae","datavalue":{"value":{"entity-type":"item","numeric-id":2767102,"id":"Q2767102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733eadf9b2c803213d653f5c387667c259d80a8a","datavalue":{"value":{"amount":"+0.88612574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4894729$C6B93262-C947-43BA-9D05-7CA621738845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efee1c5130ee7ad141a99d61090429128bb24bcd","datavalue":{"value":{"entity-type":"item","numeric-id":3323918,"id":"Q3323918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f354bf181422c995fd519fc63f5445b46204c14","datavalue":{"value":{"amount":"+0.87209123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4894729$1E56F7C2-3DFD-431B-8770-E0D0602369EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5058de5afc0e93f2ca9c2bbd2ec0d363c1ebcd94","datavalue":{"value":{"entity-type":"item","numeric-id":4807686,"id":"Q4807686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377f59d9f5821051e225ba8bbb5af7ea5995f149","datavalue":{"value":{"amount":"+0.86448103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4894729$C9A6C5AB-A90A-494F-BA42-C25CFDE306D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9fe235383cbcbb3315f6ef221a9afe97add26e","datavalue":{"value":{"entity-type":"item","numeric-id":3003318,"id":"Q3003318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d25da6cc44486603642340f48dfc234bce19e152","datavalue":{"value":{"amount":"+0.8543084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4894729$B0E53861-95C1-4667-B438-0E5B271E7256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d235ccfe836ed1230fa120bb20eda37e46c70b1","datavalue":{"value":{"entity-type":"item","numeric-id":3491017,"id":"Q3491017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086fbc27f43e8ac0554414a48c9980fb05f3f360","datavalue":{"value":{"amount":"+0.85278004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4894729$FEAE2582-6BC7-4435-AC0B-1870CF4A43E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e87a67245432021921a6a16a876c7030f2a69fa4","datavalue":{"value":{"entity-type":"item","numeric-id":2753672,"id":"Q2753672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65de3c35154c2b39471628e4446f3835402c014c","datavalue":{"value":{"amount":"+0.8494767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4894729$4ACD592F-441E-4EA4-8FE5-D96C84AD83F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4da257adfa3098e146111db07027c7417c2813","datavalue":{"value":{"entity-type":"item","numeric-id":4731176,"id":"Q4731176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"334649447b3dc07e1532f13f556caa9dd9fadf98","datavalue":{"value":{"amount":"+0.8479254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4894729$A8FC917F-2D41-466B-B5A5-A1E96120EE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932a62ed8a68cf52967f103d504afa0d5d5aa108","datavalue":{"value":{"entity-type":"item","numeric-id":4723712,"id":"Q4723712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dabd6447952e878d32004a4128608dfd91f8d17","datavalue":{"value":{"amount":"+0.84163606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4894729$BBC3E85D-6781-4F26-8166-F11DC727AA98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4894729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4894729"}}}}}