{"entities":{"Q4282526":{"pageid":6312127,"ns":120,"title":"Item:Q4282526","lastrevid":40796068,"modified":"2025-04-04T18:03:23Z","type":"item","id":"Q4282526","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 517003"}},"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":"Q4282526$3E08E4AA-F32D-4AEE-9FDD-398441533464","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b1467ca365f137366d4391143d4c7069dc685b7","datavalue":{"value":"0793.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282526$1181002B-ADB9-4571-AE51-641251C33F17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1273a672319d0eb9adeb2fd8b5af293f02a97f84","datavalue":{"value":{"time":"+1994-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4282526$BBC29ED4-2639-4DA0-90F4-4A222481FE45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282526$EBE742FC-2E83-4D7B-A2A3-61E9B93AE78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282526$CB233A5E-54ED-489D-8570-521A8C03CA50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"280fc992fa050ceec41c088d3ad05e7bb84c7c47","datavalue":{"value":"517003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282526$B4A7FF29-965A-470F-BBBE-623AFE9E7EBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282526$234311FF-D604-4A1D-8D7B-43DF031568E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282526$878720DE-6707-464B-9438-4B7945AA4C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282526$15476C2C-7983-4D91-B9C6-F32130D2E0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe643dfaf07ed66ac845ed3cec36f82d60c92f2","datavalue":{"value":"Hilbert axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282526$4717CBFB-4FB6-4DDA-AC4E-5F58FEDF3B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5911051497a87d55d7d3ecf6bc30252a564044d","datavalue":{"value":"unification algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282526$53038E0A-6FFD-4B8D-B67C-3ACCB7B7BFE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad85fd0db6467d71e74313095d444d398003ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1097715,"id":"Q1097715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282526$5691D7A3-C601-491F-B12D-31076DFCE996","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":"Q4282526$E6699C27-5898-40EF-818F-6D2341DBF414","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e097af348854ab93aad7e36f6d021a4e268a2957","datavalue":{"value":{"entity-type":"item","numeric-id":4866982,"id":"Q4866982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b60f0405825d784fcd59c6d5f75d28853c9d5e","datavalue":{"value":{"amount":"+0.9246091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282526$EA077F98-B3DC-4084-98D1-60F26B278C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1a068d35d562d02668f24ef2466262100aa9a4","datavalue":{"value":{"entity-type":"item","numeric-id":3983938,"id":"Q3983938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6e979d2e3a1fe0f8d14df120a2c8098ecf3380","datavalue":{"value":{"amount":"+0.89595336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282526$F2E276E3-6E0E-4A37-8DB2-09B9C7E9A852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039a1a1540ec11abdce0bc399216a994ab57a5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5688814,"id":"Q5688814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1556ecda4888f00519e40ffbec19a744799d39","datavalue":{"value":{"amount":"+0.8958447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282526$32197F53-03C4-4103-8A9C-24678B8ED02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b39d1c60387675310043ecb6d9e77a061ca4ef01","datavalue":{"value":{"entity-type":"item","numeric-id":2503328,"id":"Q2503328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc27e68b372ab80f32df903a9869be1a90b6911","datavalue":{"value":{"amount":"+0.89381474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282526$C7A8FE94-0590-4054-A43D-6351B3140B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee00179d1477704645c56d4e974b5cd4bb33452","datavalue":{"value":{"entity-type":"item","numeric-id":5217248,"id":"Q5217248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d6a92cf49f3250d1574daaf70e2a38672e41a5","datavalue":{"value":{"amount":"+0.8878046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282526$3C682037-4183-4445-8DC9-C1A9D356D19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b16336e75f4c4c79a8c8a337fab14c1451bb80","datavalue":{"value":{"entity-type":"item","numeric-id":1904398,"id":"Q1904398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c0226cfd42fce710046fb1b8e2891cf64118e0c","datavalue":{"value":{"amount":"+0.88249534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282526$69457CF6-3DBC-4603-8D68-836B3A7EFDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b957ad6dc5d90a250dd508d48d7d6fc846bb993","datavalue":{"value":{"entity-type":"item","numeric-id":1198409,"id":"Q1198409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a363f5434760433e5f89da70821771b6c56e889","datavalue":{"value":{"amount":"+0.88112783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282526$719E3ADB-2FE1-45DC-B4E9-079BE9DC99D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70af6e94aee3b44fbcafd7c8dc41fc6c7c2c68a6","datavalue":{"value":{"entity-type":"item","numeric-id":1610677,"id":"Q1610677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac6be89835c934c3db13a023359e1c74a535203","datavalue":{"value":{"amount":"+0.8805644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282526$568046D5-77B8-4486-A549-935D2077D8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d979d59a9e58c7a6537acc54eeea4fa86ab922","datavalue":{"value":{"entity-type":"item","numeric-id":4218020,"id":"Q4218020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8322d661d88f0cfc994605c53ef9ce8c2274ac","datavalue":{"value":{"amount":"+0.8785354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282526$DE98BBF4-A517-42F1-BF27-6E2DE0E654BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23db76e50c13c9b04073dcc4995eea8e8b956c4","datavalue":{"value":{"entity-type":"item","numeric-id":4430397,"id":"Q4430397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f34e4e7178a4e38450caf514e5bd0b5f8dec6f7","datavalue":{"value":{"amount":"+0.87780833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4282526$3FEF32DF-72B7-4E97-96B4-8872D562D88D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4282526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4282526"}}}}}