{"entities":{"Q1974479":{"pageid":1985221,"ns":120,"title":"Item:Q1974479","lastrevid":46920060,"modified":"2025-12-25T20:49:00Z","type":"item","id":"Q1974479","labels":{"en":{"language":"en","value":"Parameterized verification of linear networks using automata as invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1439779"}},"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":"Q1974479$C5D67838-A845-4A05-A0F3-4BEFF7DA1B09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93b317c3515cc09338ff04f91b7d84b0c9016410","datavalue":{"value":{"text":"Parameterized verification of linear networks using automata as invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1974479$26B94AA0-026F-4C07-912E-7667D074A417","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21c10ba29a86c0b1f55d36ea13d36c996dbb68ed","datavalue":{"value":"0955.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974479$E8EC7073-D260-4D7C-A619-2AAB437FDAB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974479$93687E0C-0B85-4C3B-A364-77CADB3369CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974479$C930A927-FD58-46A6-B1FA-BA080D851BAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc17136081e6b5d5fc40d3affb0beecbc4f23a8c","datavalue":{"value":{"time":"+2000-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1974479$9ECA921F-1C00-4B2C-AFB2-F37F9483C5C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974479$53A8A31B-85EF-4900-8A4E-52EE65A31F1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e5ef896eec69086d48a12eecc3e9fc68fb1880a","datavalue":{"value":"1439779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974479$23AD3016-3BEF-46CF-96A2-D7259AD3DF71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5261d842a1b5394e9f9e609df6a466cccde687fc","datavalue":{"value":"linear networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974479$CA63E386-1053-4CB7-9C80-8D41CB38AF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974479$CF55ECCF-24F8-4A4E-9234-671FFD49E97E","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":"Q1974479$DF3B3EA1-EE93-406E-A163-E4FDA06E3198","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18c3802b40aac607cbe60be230bb26010b32cd14","datavalue":{"value":"https://doi.org/10.1007/s001650050040","type":"string"},"datatype":"url"},"type":"statement","id":"Q1974479$22719140-8F39-4B02-98C8-F1A9514628A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20245517a5678108fe8967ed9cb1ca6bd1837fe0","datavalue":{"value":"W2031717789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974479$113AD5EF-BD33-427E-A27B-0D6AAB087B07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdf7e2da33379b21a913eb457c2fad5235299d73","datavalue":{"value":"10.1007/S001650050040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974479$53E0DA73-6095-47E5-B0D6-C285D82EDC98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe60cf7e45b810b5db81f1664008c85ec11838ac","datavalue":{"value":{"entity-type":"item","numeric-id":5941103,"id":"Q5941103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02cdb19e093cab9652591502e66ac3ef3e68d5fe","datavalue":{"value":{"amount":"+0.855562150478363","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":"Q1974479$E2B66E40-1B5F-4A92-9B91-3CB7F4CA8D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2a25ad931c2b998c036eeb5545334ae103eecb2","datavalue":{"value":{"entity-type":"item","numeric-id":3613429,"id":"Q3613429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cadcd256a1a64da66aff975e3661973284b5d458","datavalue":{"value":{"amount":"+0.799836277961731","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":"Q1974479$1B346693-7E16-4A55-83BD-EC354E9F57AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb05a308d940d8e31233094376df54376462e944","datavalue":{"value":{"entity-type":"item","numeric-id":4223070,"id":"Q4223070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0c1cec7d681998845175519e080bde4b6480c2","datavalue":{"value":{"amount":"+0.7792636156082153","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":"Q1974479$4B54F8EE-852C-485A-826D-CEF9E5DEE1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9603afdc5407af4a45993e0e9f940d7fa7ff9375","datavalue":{"value":{"entity-type":"item","numeric-id":4484481,"id":"Q4484481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d212d3215d8823589ebd6352323a8f183d1fcd","datavalue":{"value":{"amount":"+0.7768266201019287","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":"Q1974479$29B838D8-F9E8-452D-A218-982AC6E778C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87504934b3f84c2bc119cbef20f17541a89ef592","datavalue":{"value":{"entity-type":"item","numeric-id":5168517,"id":"Q5168517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"116b94ed4466d91a0f7466de6383eb9bf37126f2","datavalue":{"value":{"amount":"+0.7745448350906372","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":"Q1974479$34B6DB50-99F7-4DE4-995B-434A19E448A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1974479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1974479"}}}}}