{"entities":{"Q3402283":{"pageid":3412986,"ns":120,"title":"Item:Q3402283","lastrevid":50894846,"modified":"2026-01-15T15:23:09Z","type":"item","id":"Q3402283","labels":{"en":{"language":"en","value":"A complete invariant generation approach for P-solvable loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665769"}},"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":"Q3402283$F8D8D91C-E0EF-4213-9DDC-1D78FF266AFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"878c7029471c33db8114811d60b99c70e72c2962","datavalue":{"value":{"text":"A Complete Invariant Generation Approach for P-solvable Loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3402283$8A109E2C-687F-4232-A140-DBACB825E978","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d6c706a37d21df9523d96272bbe597fce18cecf","datavalue":{"value":"1274.68695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402283$641A0352-00EB-494B-B84A-DA09F8C97952","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5583fd3279102cfbdd71063375c6700d8a3e0d0","datavalue":{"value":"10.1007/978-3-642-11486-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402283$39C9D391-A6E4-46E0-BDDB-121E2545FA03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402283$E875FE1B-20D2-4B7A-9482-B9CA461C7C4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402283$2454DF33-0958-49FF-9C8C-D590FAB87AC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f2e51e046f2c34fc303672dbc5a81ee27ce4774","datavalue":{"value":{"time":"+2010-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3402283$DECD6E80-1D61-4568-9DB7-46D579F4E414","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402283$7E3AB044-7F77-42AB-B1A8-D8A2DD605F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402283$94FDBFF2-2422-4B6E-9456-089938C6D83E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb810e87d49edaddbe01ba30febdf9ad55ee74b3","datavalue":{"value":"5665769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402283$40D322CC-FE69-499C-858A-7D9D1CB55BB3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b97dc2e64d3ad980125ce8f5733bf5f6272c5229","datavalue":{"value":{"entity-type":"item","numeric-id":12802,"id":"Q12802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402283$50DE8BAB-BDB4-498A-B4D1-388ACC92784A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2dc0d43cf513e3a985ef60a04b9bdd27256641e","datavalue":{"value":{"entity-type":"item","numeric-id":26183,"id":"Q26183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402283$0864966F-92A2-4FCC-A31C-D49E386528EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5e9bcc74c9bbb369ad0cb6ac59f5c225f1692ee","datavalue":{"value":{"entity-type":"item","numeric-id":26179,"id":"Q26179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402283$3BA6218A-A653-4984-871E-243A1AC72B73","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":"Q3402283$82A621E0-C23B-4304-BC65-0E80502986C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d0fd591ceef7156c7f1a57fb5232ae1a88ab066","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11486-1_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3402283$BFAC8C61-D2C4-490A-91BF-A7C60D1BF735","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bafb81283e1ba1e9493754f584a1a5cd2570285","datavalue":{"value":"W2178148299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402283$CEDE7048-7719-497A-9C66-BE9FC6E693ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4b85d90580d5ca2859605fed87b940073ce23e","datavalue":{"value":{"entity-type":"item","numeric-id":3503653,"id":"Q3503653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3c0471fd951510c74d1110f79327229f8b2220","datavalue":{"value":{"amount":"+0.9019949436187744","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":"Q3402283$9607CFE4-147D-4BA0-96AC-8217481586EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b9b50ee693ccd941dcc85fc0bb66f47e3db987","datavalue":{"value":{"entity-type":"item","numeric-id":5458331,"id":"Q5458331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09305877517d541ed534244ebe2184fd1a2961a2","datavalue":{"value":{"amount":"+0.873186469078064","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":"Q3402283$E48EBB68-3FE1-4D07-8B7A-8DEC36A0365B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf36bfd14d85130d7ee6c41b3f17bd536466d5f","datavalue":{"value":{"entity-type":"item","numeric-id":2457430,"id":"Q2457430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777818528c7bb93aa5ec8d643b41b601173898e3","datavalue":{"value":{"amount":"+0.868431031703949","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":"Q3402283$459F2DCD-5646-48BF-AEDE-E057C0CCF2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e0f2451645533cad78115fe506fcfadc4570b2","datavalue":{"value":{"entity-type":"item","numeric-id":3296330,"id":"Q3296330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6063eab77e38b9927db3fd8a4f67e421548a20e3","datavalue":{"value":{"amount":"+0.8647252917289734","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":"Q3402283$E9D43E3B-AAE0-4351-9482-56330BA8B363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e1ac102e88017aeca9570343676b61175a152b","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c8f24e57225eebf2df7065de5822374846d156","datavalue":{"value":{"amount":"+0.83708256483078","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":"Q3402283$80BEB835-7F5F-41E6-AB3F-18F25B067FE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3402283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3402283"}}}}}