{"entities":{"Q1306570":{"pageid":1317320,"ns":120,"title":"Item:Q1306570","lastrevid":67120764,"modified":"2026-04-12T15:26:30Z","type":"item","id":"Q1306570","labels":{"en":{"language":"en","value":"Reasoning algebraically about loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1347431"}},"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":"Q1306570$B567B237-22BC-4181-A382-E4A94F9D64E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0203be756bf77953e25030316a627a9b516f00f2","datavalue":{"value":{"text":"Reasoning algebraically about loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306570$F424B8D3-1C9C-4969-A417-16FAC898DB4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9e92c869a100be6732f0f2ee1eb2c37ab3f39e5","datavalue":{"value":"0940.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306570$89A71901-4967-4C31-AC4D-DD8E399B1582","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306570$A294B34F-2391-4381-9C05-7D3755801D72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306570$AB852A53-3F9C-4CBD-AE0F-FAA381BA4470","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4d0affe982882d302a0500029e3a9cac3bdcfc3","datavalue":{"value":{"time":"+1999-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1306570$5E27D32D-6C08-4992-8E62-EF333D0702E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306570$11E3FF00-D4C7-4206-A0A7-C0679CDBC892","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01416a76077b66afabda8d225f50b3b770111eeb","datavalue":{"value":"1347431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306570$1CCCFF58-09DB-45FB-AC3F-1392686ACC4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306570$9D8C51A1-EFAA-4104-9846-0D8064BC80A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f771054c8e022712c5f499cc4866e671bf3cd9ca","datavalue":{"value":"algebraic reasoning techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306570$3548B473-5226-4766-BCA2-2DEF3AD30F8F","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":"Q1306570$8D3DE4C6-C2F3-482D-953C-FDB047BE968B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed519d5bb1512aefcbb16b45665b5d5c69e5a5f9","datavalue":{"value":"https://doi.org/10.1007/s002360050163","type":"string"},"datatype":"url"},"type":"statement","id":"Q1306570$CC80B7D3-150E-4C83-86AB-8CD5C06B05F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ded03e0df992365594ab66cb0deb9147cc59b8d","datavalue":{"value":"W2016265082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306570$2CEF1A57-53FD-4400-80F3-7C18ECC9125C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c1ffa71bd13f5ca1f07e8d0d26c6bd12274a2bc","datavalue":{"value":"10.1007/S002360050163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306570$1F20824A-A1AF-4088-B455-B45E9A1F3D5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df0e3139d54a580adf8584ee5b3ae237d748ff48","datavalue":{"value":{"entity-type":"item","numeric-id":938297,"id":"Q938297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d77800c068e1a1db85eeec503ec647a220fa85c8","datavalue":{"value":{"amount":"+0.8445971608161926","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":"Q1306570$0824BACD-4C14-4D89-AE01-4A09A6F1EC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8dbb7f7dce89ed2ddc25399aee83348107152ee","datavalue":{"value":{"entity-type":"item","numeric-id":2268474,"id":"Q2268474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab0e80ef22cdba63d6717fd6b559999afbbc299","datavalue":{"value":{"amount":"+0.7579624056816101","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":"Q1306570$DABADEE5-D816-409D-9B8C-898A37DC757E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b6815992e55e20c7ad4f51d582e58a224122686","datavalue":{"value":{"entity-type":"item","numeric-id":4493907,"id":"Q4493907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45dbb434d12db8e0fa24876f826e4923d8355959","datavalue":{"value":{"amount":"+0.7463445067405701","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":"Q1306570$E27D9D99-7ED7-4C6E-A708-C63D5C4EF6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee168eeabc9e4296f304c4a32d13f018a79889ad","datavalue":{"value":{"entity-type":"item","numeric-id":1887669,"id":"Q1887669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3391bf31c455cfd579c88e698dfbbce7eed3621","datavalue":{"value":{"amount":"+0.7437811493873596","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":"Q1306570$AD7C8797-5178-4D5E-9722-FCFBF7EE9A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee5105ce557480702c4228fc94eceba0497db4","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8987a3a87358e4ac321f5f77641012fceaaac4","datavalue":{"value":{"amount":"+0.7374911308288574","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":"Q1306570$B35A6B99-6F9B-4516-98D8-DB3108225453","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning algebraically about loops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_algebraically_about_loops"}}}}}