{"entities":{"Q4804920":{"pageid":6834500,"ns":120,"title":"Item:Q4804920","lastrevid":74849262,"modified":"2026-04-15T00:38:53Z","type":"item","id":"Q4804920","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1903375"}},"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":"Q4804920$54EC2598-2B26-40EA-9716-E7778E50356D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7eb357781ee1046a93159e03afcbeabefa872f5d","datavalue":{"value":"1010.68769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804920$E5068C7F-3313-4B18-947D-72F71B4B1D9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a222b4bdb24a66472f749f6e714791fe85ebf5e2","datavalue":{"value":{"entity-type":"item","numeric-id":202472,"id":"Q202472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804920$CCB66020-66B7-44C6-AC47-D572305EB2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce743bc8e4e473e2158e34f7c57241f805d073cb","datavalue":{"value":{"entity-type":"item","numeric-id":4551163,"id":"Q4551163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804920$3647D0CD-5B16-4843-922A-6200BCFD7CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2b03473367eb418910613fed68d5966c6c0b9d9","datavalue":{"value":{"entity-type":"item","numeric-id":2818015,"id":"Q2818015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804920$C9F6479C-F864-474A-90AF-021002621018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d486bc225615555d709a41d2a8a1feaf2978e5","datavalue":{"value":{"entity-type":"item","numeric-id":209469,"id":"Q209469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4804920$5270FADE-FD1C-4B28-921E-B11A8D7604E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8926003e162051c58862b88ffdd8ac7412f34dc8","datavalue":{"value":{"time":"+2003-05-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4804920$4EC6982B-E05C-413E-B1EB-CDBA28F8D92B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3c4c7de2293b9161b659e62a9a062ac6c943da2","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2404/24040510.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4804920$4C286FE8-F603-48FD-8F89-8738D0236B64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804920$D41B81BE-7C06-459E-AFB6-584196C8449F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804920$D29203B2-75B9-4388-9550-026C5222DC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804920$84E5F37E-4F66-409E-B22E-95C0EFE81382","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4791f5c7c3e801124a61a5a252ecaf360e3b61e","datavalue":{"value":"1903375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4804920$744CCE91-F75C-4758-B1E6-A59828B70C09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3df086425143deca6e5cef7848cc910000606144","datavalue":{"value":"Debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804920$3621B78E-4FC5-4AAA-9051-4E750F1BCAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec1cd5768d9d49e33840393de8afde7fd1eca2a8","datavalue":{"value":"Design Exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804920$B696FBF8-4842-4FE8-800D-30427C1B5904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d701d4ab2eabb5c877299b967bc01c2e297974b","datavalue":{"value":"Model Checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804920$D88A52A7-FD82-4985-80C9-7528C8880C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faedf79e3038e7cde1c6bd085fedbfd956f7c911","datavalue":{"value":"PathFinder","type":"string"},"datatype":"string"},"type":"statement","id":"Q4804920$6A6FFA43-4FAD-4205-8B65-8B595D978532","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":"Q4804920$576825E2-CD0E-44E5-9C33-ECC677230CEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2858724e44cf04de4c9c058703f89aac7e4265ec","datavalue":{"value":{"entity-type":"item","numeric-id":4808827,"id":"Q4808827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358f272a0afdf45619bb7722f16b585f3a894b21","datavalue":{"value":{"amount":"+0.7851158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4804920$F8E60516-2DA0-435A-9059-797CA503B671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1af0e161bbe0ab142278b90fbb0b002129f323d","datavalue":{"value":{"entity-type":"item","numeric-id":3045775,"id":"Q3045775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157d9e83fd769fe7f3b5898b92a1e3cdc9346428","datavalue":{"value":{"amount":"+0.77324444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4804920$E79529EC-3471-472B-8593-1BA42312579D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53279b9de683c332ff0b64d78ac88eae01be902","datavalue":{"value":{"entity-type":"item","numeric-id":4436620,"id":"Q4436620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05cf9608ba8d73cc0da6d32b19d9b1100d5e53cd","datavalue":{"value":{"amount":"+0.7655849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4804920$9E61954E-7E5F-4CAB-BAC9-D8CBFDC79FF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1903375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1903375"}}}}}