{"entities":{"Q6091185":{"pageid":13225492,"ns":120,"title":"Item:Q6091185","lastrevid":98796119,"modified":"2026-06-05T18:30:29Z","type":"item","id":"Q6091185","labels":{"en":{"language":"en","value":"A strict constrained superposition calculus for graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770335"}},"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":"Q6091185$F43123D5-1B33-4259-B9A4-EB12365E288B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df6d990fb147c7cae195ac1d9ad47d4a5bd280c6","datavalue":{"value":{"text":"A strict constrained superposition calculus for graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091185$3F36585B-B410-486F-AE28-2B160B5359DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f59ae739162307513ad7e75f6023c9871ae1dd10","datavalue":{"value":"10.1007/978-3-031-30829-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091185$FB3BD49A-9CBD-40C1-8936-362199752747","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59de4dec21386ca0323d0bc61658e95d7735b0ff","datavalue":{"value":{"entity-type":"item","numeric-id":912604,"id":"Q912604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$FE155E47-2AF3-4E12-8568-B852CF19AFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9d0bb1bba7f8d78f26f8b0456c3cbe905220ef","datavalue":{"value":{"entity-type":"item","numeric-id":438577,"id":"Q438577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$41264694-B2FB-46E3-823C-6AF62751A04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8082a87febfd862be6bce4a5ebed07469f5930e0","datavalue":{"value":{"entity-type":"item","numeric-id":496041,"id":"Q496041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$795C1F34-12D3-408C-BDD7-DA7B9035D427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$CB215E7E-7FB2-4100-8E20-EAA190C57C53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$34D0CB84-4436-4AEB-8AE0-3508E99418A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091185$C04032EF-D33D-4E98-ACC0-DA2DFB8E1425","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091185$0DF95D41-8F51-4281-8460-BAD0518EE63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091185$9B258EA2-7645-4F88-AA1A-D6E477588A27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3152164096dd6aecae10eb0cc802a7802820bf83","datavalue":{"value":"7770335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091185$DC5919FE-EC8E-4225-A523-CE4FF4A0394F","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":"Q6091185$FBB6F818-9398-4673-BA61-84D0FC65D469","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"311fc403f9306f0537ce60c31dd1c558e6b8e866","datavalue":{"value":"https://doi.org/10.1007/978-3-031-30829-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091185$5DDC8E1E-8A9C-4A38-B254-70D19751CE61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c82de60ec760ad8140b52b19e1e859b7660c7d2","datavalue":{"value":"W4323273902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091185$1F1E3946-6FA0-4783-95CA-FEC76C00ECEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$A9A07513-5ACF-4833-AA6E-CD8647755788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e74c11b8d6434f7eddf4a9e24b080079478d84d","datavalue":{"value":{"entity-type":"item","numeric-id":4249896,"id":"Q4249896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$2C584B18-6EF0-42BE-BF86-D146CCBE0991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2f63d09d90a5bf13ff4139b137a0854c897345","datavalue":{"value":{"entity-type":"item","numeric-id":3385624,"id":"Q3385624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$C7BB7AD5-93F4-4280-AB1C-241800884D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f65202bec871f4dc2c7f100917df3a60bfc9f7","datavalue":{"value":{"entity-type":"item","numeric-id":2988637,"id":"Q2988637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$FCA20AF8-BC78-4119-92E5-0322E0539FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ab7ccc60cb1362fbb95f94291d264d825472d6","datavalue":{"value":{"entity-type":"item","numeric-id":5066951,"id":"Q5066951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$C2D1B738-1776-43A5-B771-8E37D1B18F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3df2b63be53c854a89bfd777b7f266284c6d5f5","datavalue":{"value":{"entity-type":"item","numeric-id":1663990,"id":"Q1663990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$0D3E4944-1DFB-4AAC-8CA8-EB30CE8B8247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5277170cfbfb507d62e9c96ec58bb9fbcf50e17b","datavalue":{"value":{"entity-type":"item","numeric-id":3643364,"id":"Q3643364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$9C2A7471-F06A-48F5-BBD4-A1739C178508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4df1fbe284d5fc9f37495f92c778c1ff839b7d","datavalue":{"value":{"entity-type":"item","numeric-id":2233453,"id":"Q2233453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$AD648A85-AD83-419D-956C-9B856BC3BC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7faf1c207a196e9c1ad85f2e77351212872d8e99","datavalue":{"value":{"entity-type":"item","numeric-id":5089188,"id":"Q5089188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$745703A2-0471-45C9-A415-F8072AB105B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4701865a73bb20717d2af4c9f87c59db4780f5b4","datavalue":{"value":{"entity-type":"item","numeric-id":3453730,"id":"Q3453730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$E738E932-4E1E-4A3E-97A9-5462A244456A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099dd8ac5eea47052cf27c1adb03cfdd67bc9ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1734525,"id":"Q1734525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$3E91F336-6FBC-4FC0-98E0-8756759DF10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daad9f4e8836a3a040d996b005218b52a210fc5f","datavalue":{"value":{"entity-type":"item","numeric-id":3540390,"id":"Q3540390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$3D3B48FE-D45B-447B-8CFB-DC4CE07FE5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$1DDB8A8D-7656-40CD-AE12-EF37CCEEA328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39e345e91f4ed4de2d66f36ed973b2f603ec3c5","datavalue":{"value":{"entity-type":"item","numeric-id":4951113,"id":"Q4951113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$8AC955C2-2D34-41DC-A994-CE5D8DD4A49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f2bffc3ac1cf4bbbc7bfad8abe5d9371f2b980","datavalue":{"value":{"entity-type":"item","numeric-id":5308448,"id":"Q5308448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$6D52A2AB-295B-4997-AE0D-B910A17E7D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd08e7c41a6c2ead3e3812132df00499e980150","datavalue":{"value":{"entity-type":"item","numeric-id":4951112,"id":"Q4951112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$A12126B9-9792-4A91-944D-A8C63EE879E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed96b910c28b0a5b2e7f2a02d0a97eef2d58a5","datavalue":{"value":{"entity-type":"item","numeric-id":4379556,"id":"Q4379556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$806FC25F-DDF2-44D1-994A-EAD7FDBA88F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$BACC809A-2307-4DF9-A9CF-DFB4AB881BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548acb24d75419e124fb7d477c7572e13a585136","datavalue":{"value":{"entity-type":"item","numeric-id":3625675,"id":"Q3625675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$109CCA8E-E90B-47BE-9024-D39DD207D723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543375f6a4164d82e0e212d0a98369a4769cb472","datavalue":{"value":{"entity-type":"item","numeric-id":3454104,"id":"Q3454104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$129B2A10-3328-4AEA-918A-7E5D326760EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c31f312303bc689e296bdb4da0bfad8164f129","datavalue":{"value":{"entity-type":"item","numeric-id":4931309,"id":"Q4931309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$46A164B4-D3DF-42A3-8FC5-4CCACFC280CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c061dab185fe1bef51da7d9346e274bd625a1e8","datavalue":{"value":{"entity-type":"item","numeric-id":4539622,"id":"Q4539622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$716B34E9-3AE0-4969-94C9-3B2F6B4C2520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$0FE5789E-125A-49CC-82AA-8239672AD731","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091185$D21B96AC-6C8B-4CDB-A681-E69481DACDA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A strict constrained superposition calculus for graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_strict_constrained_superposition_calculus_for_graphs"}}}}}