{"entities":{"Q1273073":{"pageid":1283823,"ns":120,"title":"Item:Q1273073","lastrevid":68347974,"modified":"2026-04-12T23:06:19Z","type":"item","id":"Q1273073","labels":{"en":{"language":"en","value":"Formal derivation of graph algorithmic programs using partition-and-recur"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1228839"}},"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":"Q1273073$43456CCC-1B6E-4A24-B386-40538FBC184C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb3d450c7d23d86c1e87ad8be920d0fdbf91c4a2","datavalue":{"value":{"text":"Formal derivation of graph algorithmic programs using partition-and-recur","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1273073$5B911946-2761-4972-8555-C5BD50D8B91F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9106e34b3dca3e754017c173595fbbfb49ad83e7","datavalue":{"value":"0910.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273073$3ED47670-8F6C-4EC6-81F1-D53109416388","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"076193da3f859c03d2f9068b27f0232876315589","datavalue":{"value":"10.1007/BF02946498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273073$237B1510-2335-4830-B3FF-00AF56087439","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273073$57A3493D-EF38-454C-9879-D2A63A94C2C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca5f3a2c1d04c3bfd148f9eb1b9937c36c9646b","datavalue":{"value":{"time":"+1999-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1273073$C53E589D-5D2D-478E-A946-B10D788BF4D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273073$E984F0C6-40CE-4B88-BC9D-2345FD9D6822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273073$B7F7B030-AC6F-4F21-ABC5-E282EC37B602","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24ddf05bd218356316837b7ad1da04d64847b195","datavalue":{"value":"1228839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273073$2512D76F-2291-408E-9266-7E3879E63E18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3b495ba8c3c3bf5babb1d3213a6c0bf58078e5","datavalue":{"value":"graph algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273073$3D293FFD-3924-48F2-B009-27CAAAA76577","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7df94f19907e29ddc1b01d29c117ff9387ca3fb9","datavalue":{"value":{"entity-type":"item","numeric-id":337084,"id":"Q337084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273073$5AA7273A-C6FB-4AAF-8B4B-FB91391B9B12","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":"Q1273073$40489E6C-E0DC-4C33-BE23-D356F9BDFF30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273073$322805CC-2B21-44C7-B69B-F49B887BE8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061885fa573451da1302a78a271f913f69225f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3249327,"id":"Q3249327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273073$3B687CA5-C617-409D-B51B-E4AB540952EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273073$3875D0E1-73EE-4432-9964-718988BA4087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3544ff5c3325f5ac1e5dcd2fd92020bf1b6189fb","datavalue":{"value":{"entity-type":"item","numeric-id":3292914,"id":"Q3292914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273073$4BB580C9-CDFB-49AE-989E-25DE109BE989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265094ef24355b6ec775ee7bb2f8ca7f71fe5619","datavalue":{"value":{"entity-type":"item","numeric-id":1330443,"id":"Q1330443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273073$078B1D84-DC91-46C7-AE40-9DC58FB8F6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273073$2257D1AB-ECDC-41CD-9A6E-A3ACE3C32C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273073$98498619-20C8-4AB4-8704-3D94839305D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de6f5d56d52e873fbf50676f36fa579403367b4","datavalue":{"value":{"entity-type":"item","numeric-id":3340175,"id":"Q3340175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d8930003d343bcc8519108cb73e9f50879d809","datavalue":{"value":{"amount":"+0.7630062699317932","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":"Q1273073$F29D7CCA-9CAA-453F-92A8-5A200E5C4128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03488844ca5211608d94f86e679ebd94be4236a0","datavalue":{"value":{"entity-type":"item","numeric-id":1818303,"id":"Q1818303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ea2b81c1d452c20dc67f26772d9227b8c7e24e","datavalue":{"value":{"amount":"+0.7557563781738281","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":"Q1273073$7972D7D8-59EC-4C1B-83D4-FBC255FA878C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad9448bf46d9df738ed28b59e12ec4740f2e63b","datavalue":{"value":{"entity-type":"item","numeric-id":5305661,"id":"Q5305661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2697e254dbf74b72e3110a8769f175395056a9","datavalue":{"value":{"amount":"+0.7488024234771729","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":"Q1273073$4330942E-DA05-4B28-9E29-9805E78664CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673dcf08be00c3c81b7d82473e9a0895f84693a6","datavalue":{"value":{"entity-type":"item","numeric-id":4281652,"id":"Q4281652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7689664daf59f4d5b25a85eb494e5608fed6b0a9","datavalue":{"value":{"amount":"+0.7118561863899231","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":"Q1273073$96C377EA-38BA-4889-A60E-D1113296A5BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal derivation of graph algorithmic programs using partition-and-recur","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_derivation_of_graph_algorithmic_programs_using_partition-and-recur"}}}}}