{"entities":{"Q1311971":{"pageid":1322721,"ns":120,"title":"Item:Q1311971","lastrevid":68429223,"modified":"2026-04-12T23:39:14Z","type":"item","id":"Q1311971","labels":{"en":{"language":"en","value":"Problem-oriented verification system and its application to linear algebra programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 487963"}},"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":"Q1311971$6BAB421D-2493-4FC4-B682-0E597441F585","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4afd60110c560d9462c274a8e0f20ad6a4e730ae","datavalue":{"value":{"text":"Problem-oriented verification system and its application to linear algebra programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1311971$55F57539-C3AF-4A3A-B7F6-B8EDA06999DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e67ef7958e5674866dd60025d05ddb307f693eae","datavalue":{"value":"0783.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311971$A892FBFC-180B-4642-AA7C-0E6CC98E6FC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a1b86f3c1d34eb6306bdb4f6bd56a5d2d905343","datavalue":{"value":"10.1016/0304-3975(93)90344-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311971$31CBC5BF-60A2-42A4-A8BB-4AC215207AD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12ab6a50dca285e32f059f3cef41583e61bc6ed","datavalue":{"value":{"entity-type":"item","numeric-id":174086,"id":"Q174086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311971$C1AB18A1-291A-451E-B5F8-7658B0164304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"051462c66a3c1f7616f820e39aae5bde172c6e58","datavalue":{"value":{"entity-type":"item","numeric-id":801658,"id":"Q801658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311971$D530A46E-9B81-4663-A767-5E93B28E149E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311971$D8335B0C-A4CB-492E-B580-27886242EA8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c09ae88fd636512ceb4e3e21ab02e5e439d3b76","datavalue":{"value":{"time":"+1994-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":"Q1311971$B84A7413-C1C8-4E95-A515-9CA34A361800","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311971$7A9EDB64-DA32-42B6-A5C1-5ABC890F54E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3e9da67b184be611ddd4cf213d8b210d1a7b652","datavalue":{"value":"487963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311971$A42CC6C1-FAFA-4FDD-A642-E4DFE8F0C955","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311971$BFF2E778-012C-46A2-9521-E611995DCB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2c0ea231fbea860410bb4b2df713c57ddaddf4c","datavalue":{"value":"automatic verification systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311971$8966F37E-5218-4DCD-8359-0D70EDDFBB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39411cc62ce78ebd41da7eb9d170a39ae6dbba3","datavalue":{"value":"prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311971$5F9B8292-96C4-446C-B308-0C722660CA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0310612276ba38f53645cae15a9411efb38d504","datavalue":{"value":"knowledge base","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311971$1EB8E0D3-2239-424E-8131-A4E3798ADC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311971$13CABDCA-C0E5-43F8-AF37-2F7C8E5BD436","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a10fa0d0fc1b68b6a8c9081db3fab0d000f0c64","datavalue":{"value":{"entity-type":"item","numeric-id":39349,"id":"Q39349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311971$EBBD1419-A8B7-473E-9E87-F7781706C7B4","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":"Q1311971$9CFF0F79-9861-4490-A1F8-309AD22FF203","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"924ff67e0ddb99ec0fa6c2e268cb0f96cfabe058","datavalue":{"value":{"entity-type":"item","numeric-id":3334054,"id":"Q3334054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311971$503B75BE-D189-4788-A51B-2EFE15E68967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e648ca8fcc3bfb24aebc62ff1039cea8f8709a1","datavalue":{"value":{"entity-type":"item","numeric-id":4138077,"id":"Q4138077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311971$3D3FDFEF-2747-4839-AECC-E8418252A601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"393ecae0dc74f488cdf64d27da9a36da7f60c999","datavalue":{"value":{"entity-type":"item","numeric-id":4176940,"id":"Q4176940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311971$E21A9A2B-4B86-495E-BAF6-F54E06A63908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbfa73ac9df18013941340d21a3347d9c36dd18","datavalue":{"value":{"entity-type":"item","numeric-id":3857732,"id":"Q3857732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311971$F002D1D8-FC32-4C9F-B636-5C96D7699F45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbebcf7c98b83f2fb9dc82d5227ea2933dc037c","datavalue":{"value":{"entity-type":"item","numeric-id":3802589,"id":"Q3802589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b89fff2ec9abaf21fc79fc36bc8d0d9c5b3ac4a2","datavalue":{"value":{"amount":"+0.8432579636573792","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":"Q1311971$1BFEDA46-487E-4423-93EF-C2E4B828FBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b98ae5b90138066d60d4f09aceea7fae0605e7","datavalue":{"value":{"entity-type":"item","numeric-id":1082069,"id":"Q1082069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65405be29ae1c97ae9a9466da87c8088e5dad275","datavalue":{"value":{"amount":"+0.7596001625061035","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":"Q1311971$D419C4DA-5329-4E62-9DAB-D183307AEDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06af9405fc7e824174152477e468ea3615239a62","datavalue":{"value":{"entity-type":"item","numeric-id":1386947,"id":"Q1386947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5fff6e14d3af9820564cfa58dc7d37acd0b58b5","datavalue":{"value":{"amount":"+0.7507319450378418","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":"Q1311971$63672CBD-A69D-4D0E-AFE6-E851E3C1D591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16905f02a7d6df19e40b20cfd0002d0077db29d","datavalue":{"value":{"entity-type":"item","numeric-id":351971,"id":"Q351971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2737ee15848a54a95f0414c01c10cca1a166189f","datavalue":{"value":{"amount":"+0.7475444078445435","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":"Q1311971$83B41E0D-C956-44E0-9FA5-819B6DF66C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7cc8b14d0f9f2b1c73472692e7f6ed48080d22","datavalue":{"value":{"entity-type":"item","numeric-id":3811752,"id":"Q3811752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c82436b08ed8f094ebdea1675d46d0d697f8a69","datavalue":{"value":{"amount":"+0.7231888771057129","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":"Q1311971$325BE0DD-BB70-4692-A883-40B438A51146","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Problem-oriented verification system and its application to linear algebra programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Problem-oriented_verification_system_and_its_application_to_linear_algebra_programs"}}}}}