{"entities":{"Q4647560":{"pageid":6677141,"ns":120,"title":"Item:Q4647560","lastrevid":82241759,"modified":"2026-05-06T20:26:16Z","type":"item","id":"Q4647560","labels":{"en":{"language":"en","value":"Path indexing for AC-theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001948"}},"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":"Q4647560$29E9AFD4-0F3F-4B43-BC1B-CA3CAFCEB50C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f623c578bfce704e05dd8c06abd34f2da3da5faa","datavalue":{"value":{"text":"Path indexing for AC-theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647560$0FCF6072-2FB6-406D-B5B2-275ACAB5EAFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cf59d25d85478a07820c7294938d979a6e3cca8","datavalue":{"value":"1412.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647560$9C1369EE-249E-4AD9-A9AA-54A2BD96F092","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caf87254a3420bd9ce1aaf5b5ab53034b12a86a6","datavalue":{"value":"10.1007/3-540-61511-3_124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647560$D40104A9-9F1C-49BF-9C8D-11F662EF8B01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647560$D3EA98BC-81C2-43BC-BFB0-106CF49D99BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647560$6D261122-0476-4DC5-9072-8520D453C4D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647560$97590B72-B051-46DF-9B26-124DFBC2C7AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5eac48eae9de0ae58511f150e4c9aee4698bfd68","datavalue":{"value":"7001948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647560$4194C23B-F4D1-4C56-90BD-B8783A09F127","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3ae69788226feca6ae8044c1c7a9062ebff252","datavalue":{"value":"function symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647560$B272FC36-7718-4758-9032-80D1C8599712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d316846177b52cbfc50495fb5e5584c467e568","datavalue":{"value":"deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647560$DE0EB92A-3EE3-4409-88F3-555321F6AD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1fb21f721e29bf96c8123290f22a66ea81389fa","datavalue":{"value":"query term","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647560$82029161-9849-453F-8AED-23EBC35935DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9df0dffc9b0ce338fb49b9a327bb63d515854697","datavalue":{"value":"retrieval task","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647560$2239CDCB-AFC1-4000-A847-FB954D5AD54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1de7f9ea04886c1fb3d033e8a45d6ad7cf92cfc","datavalue":{"value":"indexing technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647560$4F0396F2-87F8-4380-9AC0-7138E7DEAFB7","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":"Q4647560$C6AA45A2-D9AD-44D3-8E21-0D0DA024964C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d18be079fa0076369754bc9f751c691d3e29ebb3","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_124","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647560$FA3F103E-298E-4776-A91D-286A7CB30B71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46bbdd3cc369f7e32664fa6bb1ed1e72b852d285","datavalue":{"value":"W2113202579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647560$DA472A5E-3880-4A3D-B1BE-46A324F9F7FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e23cb876c578bdffd6a5451abefeacf911bd68","datavalue":{"value":{"entity-type":"item","numeric-id":5044725,"id":"Q5044725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647560$B10EC2D4-83A4-431D-9D6C-D4ADC6748FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647560$E5F8D282-CA54-48A0-A858-167103483691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be512c67af64144d70b5bb417cc9da162b8c37d0","datavalue":{"value":{"entity-type":"item","numeric-id":5210794,"id":"Q5210794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647560$08E205A3-8196-439E-86C4-E8755E80965F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6aabd216f47d0fff51bc16b7b02c09de222664f","datavalue":{"value":{"entity-type":"item","numeric-id":5055823,"id":"Q5055823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647560$B0278F5D-FEA1-465B-BAF2-82F5893A3186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647560$CD4308C1-66C3-415B-8011-AE28764D793D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1fa8e099c59f8b6819b5b09b786ac872f2d64b8","datavalue":{"value":{"entity-type":"item","numeric-id":688554,"id":"Q688554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647560$FF34EF69-CBD9-4836-BFA4-6E1790B08F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647560$E471E09A-20FE-4CDF-B807-D6A21F550B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647560$08CE7AB7-B4E6-44CA-A9D1-07F30A95A3DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55f48843e02daaa4262af5c50f05a62231b308f1","datavalue":{"value":{"entity-type":"item","numeric-id":4447239,"id":"Q4447239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac26547aa969472d0a767cbbaa5fe6bbaa261936","datavalue":{"value":{"amount":"+0.82948744","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":"Q4647560$011D2604-7821-4A7F-A6F7-D166A8D84F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efd2ff449c1538b2d30dc35291a38be2bdffe3e","datavalue":{"value":{"entity-type":"item","numeric-id":1891259,"id":"Q1891259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661e8cbeaf400d064bc48d8b330e2c63a4d7543a","datavalue":{"value":{"amount":"+0.8281358","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":"Q4647560$9ED433C8-6A15-4041-BC3D-03C4F0B4AAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0cbd0e4a439e62a17479f3f99782c97d602267","datavalue":{"value":{"entity-type":"item","numeric-id":4938603,"id":"Q4938603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e754327eb3a1d163a1730e2afa40f292668be8e","datavalue":{"value":{"amount":"+0.8212307","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":"Q4647560$246D1CE4-304C-47F2-97FA-CA1756BD00FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39afc9637d5efd0be7599961c42565c9e2459dd2","datavalue":{"value":{"entity-type":"item","numeric-id":3304093,"id":"Q3304093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a3b4a7928cba2365607fd7a4ec7030f754e3eb","datavalue":{"value":{"amount":"+0.8188082","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":"Q4647560$6D5658AB-E5EF-4DF5-A028-C60F5CA608FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f5a42e658543452fe32c23cfa6bc53fd395c5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5055849,"id":"Q5055849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbda20bfde3755baa5a1d2c55bce4347f855965a","datavalue":{"value":{"amount":"+0.8144091","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":"Q4647560$53738250-7935-4125-8D63-C93083BA4946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bea05841fcdbdcf03a820e9ca13acbe18a96d73","datavalue":{"value":{"entity-type":"item","numeric-id":2027852,"id":"Q2027852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5ae79695de3ec8239c61db48a4874f9c497229","datavalue":{"value":{"amount":"+0.8121707","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":"Q4647560$FD8C4FBD-885F-4F2E-8BA9-083A71636141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d832f3bf09822fb1b06e3a37138f7476452b133","datavalue":{"value":{"entity-type":"item","numeric-id":2443116,"id":"Q2443116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757695843a3a4c50d40952c096c0206da127d2ff","datavalue":{"value":{"amount":"+0.80942225","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":"Q4647560$787AC461-DA05-441C-9FAC-F652D636E508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01307cc137e7abb035f7aaaa2f3077e2cfbe01d","datavalue":{"value":{"entity-type":"item","numeric-id":4948016,"id":"Q4948016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618be30d3569de52974ffb1dae3ffa613a991659","datavalue":{"value":{"amount":"+0.80748576","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":"Q4647560$03B32EEC-326E-4C53-A3A8-AF5A01543AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4f11e4f027e332582d9f7f8b0ffd3a91974ec2","datavalue":{"value":{"entity-type":"item","numeric-id":5749311,"id":"Q5749311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c879f9ede211ddcabccf56a12f2970287a24a086","datavalue":{"value":{"amount":"+0.80685794","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":"Q4647560$76AAE2A4-1035-41DD-9647-4F83EC4029A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae04451bba5241f6a0672ec38a6617f41caa3ac","datavalue":{"value":{"entity-type":"item","numeric-id":4594224,"id":"Q4594224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5a097903a7ce28292cf36ff19e50f231149f84","datavalue":{"value":{"amount":"+0.8045646","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":"Q4647560$667D1BDD-F0BD-4763-B472-3DCDC81E7DF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Path indexing for AC-theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Path_indexing_for_AC-theories"}}}}}