{"entities":{"Q300407":{"pageid":302174,"ns":120,"title":"Item:Q300407","lastrevid":77766389,"modified":"2026-05-06T10:00:33Z","type":"item","id":"Q300407","labels":{"en":{"language":"en","value":"Symbolic automata for representing big code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6598945"}},"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":"Q300407$038D5CB5-5D17-40A2-9DE0-DE2CC33EA57E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"601728e0f8110769853498cc7cd689d1a6f73fbc","datavalue":{"value":{"text":"Symbolic automata for representing big code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q300407$1B6BC67D-7D6A-44B8-BD0D-360BA21C2D44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c39f1587a31b4db91867a23ac4523cd7caed17fb","datavalue":{"value":"1344.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300407$F22EF236-4D94-4506-AA38-D5D75519A335","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2cf3a1ee288385394eee599a267ab89dc82b450","datavalue":{"value":{"entity-type":"item","numeric-id":300404,"id":"Q300404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$59163158-BA22-43F8-9DD9-17F6CAF13CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$EE9495B1-9878-4481-B201-41B84DEF844A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8ce85f8ab9ad80866582a2d5e4f0d4cad5e8b4","datavalue":{"value":{"entity-type":"item","numeric-id":300405,"id":"Q300405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$A4DE77F1-DBC5-483B-87E4-F1185DF4D1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$568A9F9B-65FD-4287-B493-DB27983E5417","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":"Q300407$1F613214-AF98-47BD-AAF4-2A11ECADBE03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbcea371f4566b396cd1a7c03cc4551825ca31fc","datavalue":{"value":{"time":"+2016-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":"Q300407$3ACA0F2B-6CC3-4901-934A-E180CB36DF59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40f878748a55bae5ba709fdf413db7f5fe363496","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:a594a7d2-c7c5-4a61-884b-0f44a89815b8","type":"string"},"datatype":"url"},"type":"statement","id":"Q300407$B342708D-2CD5-41A2-B82E-185E13B9997E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300407$34768DA1-45BB-4D91-9D5F-062DC78DADA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300407$0C782B79-5E98-4129-8BBD-D7145F3A5043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300407$6471CEE1-F1B3-43E1-B09D-A6AB5BC5F958","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b12e88da448e79c8bc9c9167caff1ef5ac4f5c84","datavalue":{"value":"6598945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300407$C9641E49-2B96-4B23-9B52-1C10F4F739D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d63fa29263a3a152ac7f0686f22e05beab297deb","datavalue":{"value":{"entity-type":"item","numeric-id":27614,"id":"Q27614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$7BC7FA83-63EC-4145-8B35-B07A30006B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6b4afb7396bc42b8f7c4d05ea0272d4cf630cdb5","datavalue":{"value":{"entity-type":"item","numeric-id":27615,"id":"Q27615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$E8314844-FE6D-47AC-8E0E-A2EE65CD13D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ebd0783bc11331c12f0af343dd5c6c528fbd539","datavalue":{"value":{"entity-type":"item","numeric-id":24021,"id":"Q24021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$BBBA6A69-2DF9-4C05-9DA0-9032DB890486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74fb7b0e57b9fca797ae3d6e69eaff9176bc90bb","datavalue":{"value":{"entity-type":"item","numeric-id":32028,"id":"Q32028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$A78844CA-522D-4431-BDE8-5730A42D11CF","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":"Q300407$C7A65607-38BE-41A1-8376-1673CDB9D3ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e769cd1fb2ebac2c767da2d917e2983eba1f6387","datavalue":{"value":"W2122249693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300407$4F8C1F3D-DE34-40AE-A8C2-61054E9D9788","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bab2d5ef22f22d0f4f2c57ef8626ead1ebd98","datavalue":{"value":{"entity-type":"item","numeric-id":3557075,"id":"Q3557075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$C3919C86-C420-4FC1-97C8-A368671AFC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43d7854e50381630023e07192383000eb7eb63d","datavalue":{"value":{"entity-type":"item","numeric-id":5276138,"id":"Q5276138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$CBF4B389-8C20-420D-9E85-E3E186252DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5557e309257b86628836399c6e159ec785039d0c","datavalue":{"value":{"entity-type":"item","numeric-id":5178894,"id":"Q5178894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$FF4984F1-C34F-4AC8-8233-3BEFC4BB4A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff26acfa4f7a81a69ac1d22f5faa8f8ec3f24299","datavalue":{"value":{"entity-type":"item","numeric-id":3694680,"id":"Q3694680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$E5F02119-C801-4C15-B7F1-A38ACE0AE269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92db516b4e466a61eb13759b7debd0b5235890c3","datavalue":{"value":{"entity-type":"item","numeric-id":4778695,"id":"Q4778695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$FDB40197-097A-4D1B-ACDE-8EDB1FC23FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf1b042c483ac33361ac24081db27c0fc28b774","datavalue":{"value":{"entity-type":"item","numeric-id":2870770,"id":"Q2870770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$ACF8B11A-3020-4FAF-B35F-742967AD07B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aecb7b27f98b7ec3c0315615737246eac35b840","datavalue":{"value":{"entity-type":"item","numeric-id":2870768,"id":"Q2870768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$B8DAD980-0169-421D-BCB4-540B7A6CB806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66ceb8ec0539a655fc0af44496831760b37a384","datavalue":{"value":{"entity-type":"item","numeric-id":2931409,"id":"Q2931409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$C6217F37-892E-4801-9DD8-3B3929D29209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74543492d814f75ded6ea94f643444c4417e3c84","datavalue":{"value":{"entity-type":"item","numeric-id":5703779,"id":"Q5703779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$C1687103-9FDC-4461-8B68-C92D9A1147F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q300407$48223C42-565C-4E10-AD8A-4BC318262ECD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da006d5a5a6d4e05b1c68398452c2bf77d056486","datavalue":{"value":"10.1007/S00236-015-0234-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q300407$FC4DD221-E371-413A-9667-99A3C1D52BBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f32db5a747346da4966bbb46d8d32243028ec45","datavalue":{"value":{"entity-type":"item","numeric-id":2870768,"id":"Q2870768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ed44debd7ef8aa4a6bd1732aca5656789a4eb9","datavalue":{"value":{"amount":"+0.7915127277374268","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":"Q300407$A31F0B11-0AA6-41A5-A35C-08ED0BB93269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8f1e3dc04d8db41faaaabd81ba98585eea71a6","datavalue":{"value":{"entity-type":"item","numeric-id":2819818,"id":"Q2819818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a011d54a3bf9dd53a2f59386284cc25c6ecc4ae6","datavalue":{"value":{"amount":"+0.74043208360672","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":"Q300407$29F55A3B-08C9-4CC6-91B7-37DF89E1362D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1343367d1f956f4631abb24e2dd0d41a563f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5327478,"id":"Q5327478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b85ac5d93cd3b254b42c0fad3825fe827887938","datavalue":{"value":{"amount":"+0.7107416987419128","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":"Q300407$3FE9BFE0-C21C-43B5-AD10-1CE3F20D9C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bcff654bab28292da94c9e4bdf1aa98186d713","datavalue":{"value":{"entity-type":"item","numeric-id":4593054,"id":"Q4593054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c22c4cc30fbbe0c7ef21940724df62a8806e73","datavalue":{"value":{"amount":"+0.700682520866394","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":"Q300407$4B88AC61-1867-40A4-BFC8-C7DB82EDC183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516a4e55624151a478599fdf74f63512239074b9","datavalue":{"value":{"entity-type":"item","numeric-id":2894292,"id":"Q2894292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf59b541d3b98b7459b912359f93137a467d4e5","datavalue":{"value":{"amount":"+0.6967728137969971","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":"Q300407$4D403745-65C3-4DEA-971E-F825A9FBA4B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic automata for representing big code","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_automata_for_representing_big_code"}}}}}