{"entities":{"Q2957508":{"pageid":2968227,"ns":120,"title":"Item:Q2957508","lastrevid":52730339,"modified":"2026-01-23T09:19:11Z","type":"item","id":"Q2957508","labels":{"en":{"language":"en","value":"Extending the Rackoff technique to affine nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678460"}},"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":"Q2957508$A6D5B174-5C78-44BD-BB62-44F8C02DD486","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"570d6bdd352568440decdefe27f54849830bf7cf","datavalue":{"value":"1354.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957508$31584011-57D3-4069-BCDA-22C08ACA353A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40d52787a6fbafe429e2741b67d1805390ad9b06","datavalue":{"value":{"entity-type":"item","numeric-id":1951596,"id":"Q1951596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957508$152D3A06-733E-4927-A696-F4FFF4DAE7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36974ca48c1ff3caa1463aa00972066da924c035","datavalue":{"value":{"entity-type":"item","numeric-id":1949743,"id":"Q1949743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957508$CFEC4925-B1F7-441A-9DEB-991256D82DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957508$A57F960B-0559-4245-8E79-61782000A2BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce03103194246a3df27ce58b06ab6f4262232789","datavalue":{"value":{"time":"+2017-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957508$4B4D161A-B25A-45A7-87AE-A725EF1C5019","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957508$99AD5054-EC4A-4BEA-B6E9-7E5243BB4719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957508$58BD13F1-5B12-4CB4-BAEB-DBB9B61416C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957508$82DBB82F-9BA3-4654-B3CF-D49C259F33B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4f4c5ea8f2a13131761f9cdbb265b6ed24fe278","datavalue":{"value":"6678460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957508$ACFF436D-3448-4639-B9A1-593ED646FE14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1f9ff2b792b15afce146fe0a8aadba771334d5","datavalue":{"value":"complexity of VASS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957508$EF2D1A98-D39C-42B1-B9B1-33E5BF67ED4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"763754958b6a47e884ce88cdf588b5d4a416d226","datavalue":{"value":"affine nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957508$1EEE9840-E09B-490C-B58A-7C21E86B32E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587c024b9c8793353ccde3ff666cb0069327bfca","datavalue":{"value":"Rackoff technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957508$8D3FEA42-746E-4C45-B0E1-E8A3EB3A74C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957508$B5AE5440-4807-4336-9BD4-2EDBEC025B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957508$5A0E9C61-0DBD-408E-AB02-E772E3E5C619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957508$FC68A5F1-FA9D-4751-8D37-56ED59935B02","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":"Q2957508$25B55AF0-C634-4365-A2FC-2C6879127DE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f3d973e15092a7b8dd0cda0795b9130794cc8fa","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3868/pdf/29.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957508$CC302E69-E4EA-4165-B535-1B8CEA36C929","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bf1d5564e03692af68dc35de87be66ac9d34b42","datavalue":{"value":"W2244360319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957508$87B4F49A-2131-4C90-9FBA-60F26D2D5F8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b54caf212af2d2d9ba56178f023402a2d94b9a2","datavalue":{"value":{"text":"Extending the Rackoff technique to Affine nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957508$B38AEEBA-EE0A-40F2-A268-DBAB5C4D10AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aebaa21d169423bcc269bc497d587f133837fa73","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2012.301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957508$A801B647-3A47-4584-BD4D-6ECA9E2E6AE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25dd9b47e5cc1cf1e7627de5d067a89c22ef09e7","datavalue":{"value":{"entity-type":"item","numeric-id":1763373,"id":"Q1763373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89527bdb5bc2d83ecbc1034c2f03349ee36e4a9f","datavalue":{"value":{"amount":"+0.7373288869857788","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":"Q2957508$14CAFDB1-8866-4BE4-87E5-16ABB26309BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66dd99ecfa13807f59bb6a441548829a972e8dd","datavalue":{"value":{"entity-type":"item","numeric-id":5915733,"id":"Q5915733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb9592952c64c8615f6aaf7c5f2402c1f093d98","datavalue":{"value":{"amount":"+0.7356983423233032","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":"Q2957508$4BAE1226-DD3D-4B0C-A633-96F53C94A871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950ea8c3ba024df2ba47d9a89385075b7ac47510","datavalue":{"value":{"entity-type":"item","numeric-id":5056399,"id":"Q5056399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79395883a149622938c7b70e37f24124fd015e4a","datavalue":{"value":{"amount":"+0.7119210362434387","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":"Q2957508$A4C125D8-62ED-4AF1-BCAD-44111727E153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb67892c0dc3235988d2ac9398865ff14cfde6a0","datavalue":{"value":{"entity-type":"item","numeric-id":4635904,"id":"Q4635904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b17489d81720a3ab277e27e50706d7abc32937","datavalue":{"value":{"amount":"+0.7084387540817261","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":"Q2957508$1987E936-8903-4C0A-B067-139874BAB565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"519d4c048bdfb55f73731f0383d6e88a3926cbaf","datavalue":{"value":{"entity-type":"item","numeric-id":1935777,"id":"Q1935777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b685f86e38628d38da271f1a24f2787b661586ce","datavalue":{"value":{"amount":"+0.7067446112632751","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":"Q2957508$D766BFBA-6052-48FA-B4AD-FE119EAB4B8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957508"}}}}}