{"entities":{"Q1186787":{"pageid":1197536,"ns":120,"title":"Item:Q1186787","lastrevid":69848127,"modified":"2026-04-13T10:45:00Z","type":"item","id":"Q1186787","labels":{"en":{"language":"en","value":"Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 37162"}},"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":"Q1186787$36C50398-520A-4846-BB27-EC5CF72876D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a5f9e08439380cd921e40738ceb73529ca1198e","datavalue":{"value":{"text":"Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1186787$BC20238D-930A-490C-A897-19405903E1B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8ab7f0c87a6c6c8ce99baddcedef120f63a32cd","datavalue":{"value":"0753.05062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186787$BE803C4C-20E8-4066-92D3-1CFF0E92C055","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e958ffbcb44b83c04ffb0d03aba522b4d0a26357","datavalue":{"value":"10.1007/BF01758777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186787$BFDCA808-7DB7-4DCA-9C89-4C180D5717EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae06b4aacea47b304042c60385d3284d7aaa8421","datavalue":{"value":{"entity-type":"item","numeric-id":221669,"id":"Q221669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$F21400A7-C3A3-4BDE-9890-99E1B0485154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7490a2122b3e58ba600665d40184a6d9984d77c5","datavalue":{"value":{"entity-type":"item","numeric-id":1283806,"id":"Q1283806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$753367DA-22BB-41EE-A9A7-00F2537E17C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2439bf2fa3411fba0c2b1297578ae7ef0eaf65b","datavalue":{"value":{"entity-type":"item","numeric-id":201777,"id":"Q201777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$E5C7ECED-8EE4-4A97-AFE3-61E808A3FDF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$C8FFFB0D-DABA-42DC-87BF-FB9A86EDCDE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1186787$36FE05CB-DA19-49EB-B664-6038A4E7592D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186787$D596FFD5-21F4-4FA7-9CA9-5DF8061EEE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186787$BDBD6112-3B9F-4575-98C4-B9096F76E576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186787$698F10C9-5DC5-45AC-9E94-01C2A3319F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186787$EA22D166-070D-459C-96BA-FA8BF84116E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"562798d84511fe5645e4967b55f86beeeee719be","datavalue":{"value":"37162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186787$70544BE9-337E-49B2-987D-23D89BD262C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7250963987d7e4c99272889381793742a1498efc","datavalue":{"value":"linear-time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186787$FF21D1F9-376F-4697-8531-96F8247C3264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1475fb8b83028c868615b558a9d4171d0af4d17","datavalue":{"value":"recursive graph class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186787$B17BB88D-8B9B-482C-888B-791D9307A9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a597eeb26f1977796939111fd2cec4a1d5ab2ee4","datavalue":{"value":"automatic algorithm generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186787$5000D12C-FE31-4160-AAB7-B089302BE0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186787$53474A57-0AF9-4329-8677-3C2B66E77AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b165df2258dd8bf28387bc30a9861fff701afb","datavalue":{"value":"decomposition tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186787$39AE5A6C-5DE9-4C4A-AFAF-CB01166D5B38","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":"Q1186787$7BDFD2A9-FC59-4CF4-9D98-E172C98A2824","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"924e802243b4f51c1822e67211b88d08172a8079","datavalue":{"value":{"entity-type":"item","numeric-id":1062758,"id":"Q1062758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$48AED87D-A21B-469F-A693-FFD079139229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770bb68de47752f527df3eb5fd0239815f0bd638","datavalue":{"value":{"entity-type":"item","numeric-id":3751595,"id":"Q3751595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$A674A995-823F-4879-8EC3-C07282E78DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc69c6156e9471fec17a5d754a7b363dbf0153f6","datavalue":{"value":{"entity-type":"item","numeric-id":3812222,"id":"Q3812222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$01D0B85A-AEB5-41A8-AD4F-939523780FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf73aba229b23f389841856465d1ea7418d3ff2b","datavalue":{"value":{"entity-type":"item","numeric-id":3042417,"id":"Q3042417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$0A1266D7-0EA8-456F-9C05-BF2D18C5881F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be3970bbeb5763bd476ec3ae32dc6811c75f4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3782818,"id":"Q3782818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$B6F48B8E-4B22-419D-A2BA-97805F991BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87478746e093073c1058b3d3f46e28a2e987337","datavalue":{"value":{"entity-type":"item","numeric-id":4728259,"id":"Q4728259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$70D8CD94-2237-4DCE-ABBD-734CBDB1DA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d11c0e5b0d14093c180b4414e8c432e82e6ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3796771,"id":"Q3796771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$FC3AC000-A8A8-428C-965D-FF6B9D94B387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93abefd43f60c4734d29bc653212ccc79b537d1c","datavalue":{"value":{"entity-type":"item","numeric-id":4165413,"id":"Q4165413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$2E9A1FDB-8CE9-461D-8C10-872C80CEFEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$6D454B9B-C449-46C1-BE15-25D6AF81A6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0285625f074a48cd1908122f2f7d851fdd299e","datavalue":{"value":{"entity-type":"item","numeric-id":3747723,"id":"Q3747723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$93122E2D-C955-4768-91FE-BAE45094DB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b773ee5b291ebab239e6e8e7787b49c4d2b3c4cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248466,"id":"Q1248466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$73241547-8FB1-48C8-9E8E-982FE4892725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d23a82303993e53ac6e28f63fa9ba446042715d8","datavalue":{"value":{"entity-type":"item","numeric-id":5393366,"id":"Q5393366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$131538BA-D5B8-4040-ADC0-37A0AE782BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b50bad9b5e66b2da9e23a06d8d2e993a52d5f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1056237,"id":"Q1056237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$DCB90EBC-19F6-4C6A-926E-FD8E1D5E96EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71680a4ab9e1f4beb0d4c1abad68c079fb9c955","datavalue":{"value":{"entity-type":"item","numeric-id":3945592,"id":"Q3945592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$076A4074-C651-404B-B534-B6E0A56DB630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9653126c3310deaf3ad2b17670ad142db4d41","datavalue":{"value":{"entity-type":"item","numeric-id":3740231,"id":"Q3740231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186787$D28022AA-BE49-4207-9C4A-5BBB554C2079","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75de234a46565e88315c5c5093f4ce9c8a9f728f","datavalue":{"value":{"entity-type":"item","numeric-id":1179734,"id":"Q1179734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6207c0766a14368cb94e55377d4901cb596d1e23","datavalue":{"value":{"amount":"+0.8427299857139587","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":"Q1186787$553173D4-A9B5-494A-B03F-0202AAD9AC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"135f0855e13f81c1ae55b6f31a2f49eb767493e7","datavalue":{"value":{"entity-type":"item","numeric-id":4028536,"id":"Q4028536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c7cdaca27b1a32a6f9802008d1dfe41fcf624a","datavalue":{"value":{"amount":"+0.7795236706733704","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":"Q1186787$8031E955-6B75-459A-8F2E-1D7F538116CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6db05d7c696f303ce6b3ef73ce961df4f78532b3","datavalue":{"value":{"entity-type":"item","numeric-id":1336630,"id":"Q1336630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c7cdaca27b1a32a6f9802008d1dfe41fcf624a","datavalue":{"value":{"amount":"+0.7795236706733704","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":"Q1186787$2F703A49-A41F-4A33-8DA6-F7C0A2F47520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4470977907ad10ccb38132103f34884e6f448bb4","datavalue":{"value":{"entity-type":"item","numeric-id":4489161,"id":"Q4489161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7a23bdc3d760c290d2d6e1c46a933c022b05c6","datavalue":{"value":{"amount":"+0.7719022035598755","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":"Q1186787$C38E3676-2F78-441F-A958-1892B5BFD397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a13a271734cc151a40fb348359a096ee2a27c7d","datavalue":{"value":{"entity-type":"item","numeric-id":3812222,"id":"Q3812222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd858a0b3fdbdd23d4768009ff7e27a85e5cc0ce","datavalue":{"value":{"amount":"+0.7442342042922974","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":"Q1186787$2C911ED4-CAD9-4EEC-AD2E-1706E7ED39ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_generation_of_linear-time_algorithms_from_predicate_calculus_descriptions_of_problems_on_recursively_constructed_graph_families"}}}}}