{"entities":{"Q3490990":{"pageid":5520890,"ns":120,"title":"Item:Q3490990","lastrevid":49416526,"modified":"2026-01-07T03:11:33Z","type":"item","id":"Q3490990","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164172"}},"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":"Q3490990$6C76053F-3074-4038-8A50-9C200212A286","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90acb1d43fe8cd43be404a17f2d1ee5c857971e1","datavalue":{"value":"0708.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490990$32CB4A7A-C9CD-46CD-8F5C-B8339CE2698D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490990$BC4DE821-DA72-41FA-8CB3-84593A07E8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1b1c950eb38f4d88b02903eee30b03dcded1976","datavalue":{"value":{"entity-type":"item","numeric-id":685546,"id":"Q685546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490990$0FBA6A28-2B36-40BC-A08F-6A459DD4C7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9915fee607d65e6b3e550829629b59bb040576a5","datavalue":{"value":{"entity-type":"item","numeric-id":809616,"id":"Q809616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490990$C32A5053-FA85-41F7-8556-7CCC7D62D528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6df844f896d888573d76c54cedfde12049f28d2a","datavalue":{"value":{"entity-type":"item","numeric-id":540693,"id":"Q540693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490990$D122ACFC-59DA-4538-B092-EF705A57B542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"039ec8a1676c5844b89ae96ec39394b33cb77576","datavalue":{"value":{"entity-type":"item","numeric-id":685545,"id":"Q685545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490990$7237A994-403D-4FB1-AE06-57718EF60D9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3490990$9B232DF6-4C45-459C-8825-72FC552BA661","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490990$A9D9AA26-D1F5-4BE5-919D-D6170F9E8316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490990$5BF4C6B0-903D-4D8F-B132-73455D01C19E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"705d97520f693ed5714549f56658087a8bb47f1a","datavalue":{"value":"4164172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490990$64CA6558-BC9F-4132-8129-C92997D360D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67935c9745e86097c5a009e8bb47d5846729f37a","datavalue":{"value":"Boyer-Moore theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490990$E06318A1-73BC-4214-BD6A-B8BEE0A4CD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeabe59d4757581b815c17ebf3296713b3550096","datavalue":{"value":"proof plans","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490990$AA2831A0-65AF-4F4C-BF56-1D96C3295626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7d6f867a974fa66128c6bc42544e219a7417bc","datavalue":{"value":"rational reconstruction of recursive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490990$FA787110-AD30-495A-93A9-97B49882C486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa01cb8ab14510c8c96db52bc3668ed001b71fa0","datavalue":{"value":"CLAM-Oyster","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490990$193EB2A2-800E-4E9F-B14A-545CFE57F2F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490990$F7FD15F7-2AEE-4D5C-BE01-582A3F3C8D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490990$65535BB3-C510-422B-BCF8-C8600445D950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a49c6eab3f20625da110b159712fcc58d765d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":31454,"id":"Q31454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490990$4A9FFE5E-B9F9-4B5B-86CF-63C90203CD81","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":"Q3490990$FE353208-884E-4173-9A9F-DE2B62EE1164","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0df8fbfee000feea08e9fea6f2113872f2b683","datavalue":{"value":{"entity-type":"item","numeric-id":809617,"id":"Q809617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48f49c33ede3692b7cf3e32dac0535157abb460","datavalue":{"value":{"amount":"+0.7232504487037659","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":"Q3490990$44124738-FF0A-46AD-8787-0A390D6DF032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51852894019aff4da996e23e31ecb38fe929c33b","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e210b1387ac9a8824a5601a334c307bab06521","datavalue":{"value":{"amount":"+0.7095389366149902","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":"Q3490990$437794C3-AFA6-4138-8348-2F31DA4A0D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2ef1dfb8450e1a64b77276d877120e7c94cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":4023948,"id":"Q4023948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e210b1387ac9a8824a5601a334c307bab06521","datavalue":{"value":{"amount":"+0.7095389366149902","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":"Q3490990$AE59A6AC-0948-48A2-B9A2-0EA2ECAF7EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33b033c6f23d4730fd2828d4a0b0fd41ff09f32","datavalue":{"value":{"entity-type":"item","numeric-id":4886736,"id":"Q4886736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc2c0cc158a6d6a1219a31344ca056ca0ae5c21","datavalue":{"value":{"amount":"+0.7071083784103394","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":"Q3490990$E36E9091-BE30-41BA-9440-00FA735CB858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ef04229fe5b87a8f06fd4e0326e4847ef09985","datavalue":{"value":{"entity-type":"item","numeric-id":1283199,"id":"Q1283199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8673df82dc0b96c2180382e2fea126607b82bc5","datavalue":{"value":{"amount":"+0.7061748504638672","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":"Q3490990$73400D6E-816C-49B0-9CE4-4A507168B27C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3490990","badges":[]}}}}}