{"entities":{"Q3612954":{"pageid":5642860,"ns":120,"title":"Item:Q3612954","lastrevid":87447710,"modified":"2026-06-04T11:42:24Z","type":"item","id":"Q3612954","labels":{"en":{"language":"en","value":"Automatic Partial Inversion of Inductively Sequential Functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527747"}},"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":"Q3612954$961A1ECA-8787-497A-B31B-53918F83EF75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79b89bb94edf51f176156341d1438d540709db44","datavalue":{"value":{"text":"Automatic Partial Inversion of Inductively Sequential Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612954$9352EBA0-D9D2-4234-903B-DAED60C2D15E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18a2f74f34e221b1592975ab792679ddd26845e3","datavalue":{"value":"1226.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612954$030E5648-DADE-4DCB-8A13-FFFFE1D23064","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"638ebfabbacaf4340613047bb2ee8d0007fe138e","datavalue":{"value":"10.1007/978-3-540-74130-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612954$1A91256A-0BA9-4674-B9A9-C86FB47A5BA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26324be49db4e3c99b48daa000c21ac31d5c2234","datavalue":{"value":{"entity-type":"item","numeric-id":246450,"id":"Q246450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612954$DE3524A2-CC33-450A-A2B8-ACF480A13BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612954$241EB377-314B-4A70-93B7-2E0122D974AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"079a9a502d36bc50382ceab2d0b0fe42d20b24da","datavalue":{"value":{"entity-type":"item","numeric-id":2830046,"id":"Q2830046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612954$01B0A9EE-D947-403C-8C8B-C24E62BA80CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612954$C11359F8-01A6-47FB-AA28-29F4428FFB76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612954$3745F523-0EB7-4F1C-A32E-23E89AB59112","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a9bd3392040da7a03b2298b711985001987e4a7","datavalue":{"value":"5527747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612954$0111B842-CD42-45D5-A2A5-78C432533512","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e6ce0b955ce9a2be58057f81d8333f1156616226","datavalue":{"value":{"entity-type":"item","numeric-id":22072,"id":"Q22072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612954$8793094F-CCC5-482D-A2F4-EE65EEF07776","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":"Q3612954$85CF5B34-0D9C-42B9-AFE2-B5619044AC89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e83696cc8d672bebc57651cee96e4181ecd07f9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74130-5_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612954$3AF416ED-F61A-4A91-A6C7-4E748F9E239A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b68e8b5e717404dfdac9615e853e5e995c87119","datavalue":{"value":"W2136765833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612954$14A8733A-695F-41B4-9AFC-F10C6C930719","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d1a24e66bd1cdc7b9bd3d53b99c22f024b0d80","datavalue":{"value":{"entity-type":"item","numeric-id":5902364,"id":"Q5902364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b5b7150974b78909aa0caf3456840f9cb08e27","datavalue":{"value":{"amount":"+0.8367466330528259","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":"Q3612954$81DBEBF1-4915-41F1-8704-B4F431E47716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39aa57feade583dd8ad6e252eee93494b0860393","datavalue":{"value":{"entity-type":"item","numeric-id":5703855,"id":"Q5703855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8b8405dbfbdd0c49ca6eb56228122aee87b976","datavalue":{"value":{"amount":"+0.7894530296325684","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":"Q3612954$2978A383-FEB4-4326-8131-5E64F5ADA21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2598bcb24a9cf73b8b75ebf956ff0dfed58374e","datavalue":{"value":{"entity-type":"item","numeric-id":5472880,"id":"Q5472880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df14f274b0f279e5d92cfab5bbc8399272fb5b6","datavalue":{"value":{"amount":"+0.777606725692749","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":"Q3612954$C2F5B2AD-F5D9-4E47-98D2-A59FDC8F203C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128ca5ce5a10cbdb98b9b0e0d7f3661cf3c89b9f","datavalue":{"value":{"entity-type":"item","numeric-id":5308028,"id":"Q5308028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e377a8fda790eff60cc4f542fa2ea5bb40df3d86","datavalue":{"value":{"amount":"+0.7735248804092407","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":"Q3612954$CD1E4890-9561-430A-8255-25AEDF34AB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee1193bed764f2d3213fe54906d59de75e0dae0a","datavalue":{"value":{"entity-type":"item","numeric-id":5389087,"id":"Q5389087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f8b693f223a2e5caa0fd9d47c5f546efe20607a","datavalue":{"value":{"amount":"+0.7496423721313477","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":"Q3612954$236DE58B-77EE-416C-921B-EA4FD05E981D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic Partial Inversion of Inductively Sequential Functions","badges":[]}}}}}